cvc4-devel-1.8-15.fc38.riscv64.rpm | RPM Info

Information for RPM cvc4-devel-1.8-15.fc38.riscv64.rpm

999738

Name

cvc4-devel

Version

1.8

Release

15.fc38

Epoch

Arch

riscv64

Summary

Headers and other files for developing with cvc4

Description

Header files and library links for developing applications that use cvc4.

Build Time

2023-05-05 06:28:35 GMT

Size

130.42 KB

SIGMD5

1ce4f63376a65b1bcdf026cb62019b90

License

BSD-3-Clause AND MIT

Buildroot

f38-build-709394-92901

Provides

cmake(CVC4) = 1.8

cmake(cvc4) = 1.8

cvc4-devel = 1.8-15.fc38

cvc4-devel(riscv-64) = 1.8-15.fc38

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

cmake-filesystem(riscv-64)

cvc4-libs(riscv-64) = 1.8-15.fc38

libcvc4.so.7()(64bit)

libcvc4parser.so.7()(64bit)

rpmlib(CompressedFileNames) <= 3.0.4-1

rpmlib(FileDigests) <= 4.6.0-1

rpmlib(PayloadFilesHavePrefix) <= 4.0-1

rpmlib(PayloadIsZstd) <= 5.4.18-1

Recommends

No Recommends

Suggests

No Suggests

Supplements

No Supplements

Enhances

No Enhances

Files

Name	Size
Page: <<< 51 through 93 of 93
/usr/include/cvc4/smt/command.h	44.19 KB
/usr/include/cvc4/smt/logic_exception.h	1.37 KB
/usr/include/cvc4/smt/smt_engine.h	45.22 KB
/usr/include/cvc4/theory	0.00 B
/usr/include/cvc4/theory/logic_info.h	9.04 KB
/usr/include/cvc4/theory/theory_id.h	1.54 KB
/usr/include/cvc4/util	0.00 B
/usr/include/cvc4/util/abstract_value.h	1.74 KB
/usr/include/cvc4/util/bitvector.h	13.71 KB
/usr/include/cvc4/util/bool.h	853.00 B
/usr/include/cvc4/util/cardinality.h	6.72 KB
/usr/include/cvc4/util/divisible.h	1.58 KB
/usr/include/cvc4/util/floatingpoint.h	19.68 KB
/usr/include/cvc4/util/gmp_util.h	1.34 KB
/usr/include/cvc4/util/hash.h	1.90 KB
/usr/include/cvc4/util/integer.h	1.16 KB
/usr/include/cvc4/util/integer_cln_imp.h	14.92 KB
/usr/include/cvc4/util/integer_gmp_imp.h	13.75 KB
/usr/include/cvc4/util/maybe.h	2.09 KB
/usr/include/cvc4/util/proof.h	1.16 KB
/usr/include/cvc4/util/rational.h	1.16 KB
/usr/include/cvc4/util/rational_cln_imp.h	9.76 KB
/usr/include/cvc4/util/rational_gmp_imp.h	9.37 KB
/usr/include/cvc4/util/regexp.h	2.06 KB
/usr/include/cvc4/util/resource_manager.h	5.87 KB
/usr/include/cvc4/util/result.h	4.28 KB
/usr/include/cvc4/util/sexpr.h	8.51 KB
/usr/include/cvc4/util/statistics.h	3.51 KB
/usr/include/cvc4/util/string.h	9.15 KB
/usr/include/cvc4/util/tuple.h	1.48 KB
/usr/include/cvc4/util/unsafe_interrupt_exception.h	1.27 KB
/usr/lib64/cmake/CVC4	0.00 B
/usr/lib64/cmake/CVC4/CVC4Config.cmake	1.53 KB
/usr/lib64/cmake/CVC4/CVC4ConfigVersion.cmake	3.17 KB
/usr/lib64/cmake/CVC4/CVC4JavaTargets.cmake	1.49 KB
/usr/lib64/cmake/CVC4/CVC4Targets-production.cmake	1.81 KB
/usr/lib64/cmake/CVC4/CVC4Targets.cmake	4.86 KB
/usr/lib64/libcvc4.so	12.00 B
/usr/lib64/libcvc4parser.so	18.00 B
/usr/share/man/man3/SmtEngine.3cvc.gz	690.00 B
/usr/share/man/man3/libcvc4.3.gz	785.00 B
/usr/share/man/man3/libcvc4parser.3.gz	330.00 B
/usr/share/man/man3/options.3cvc.gz	541.00 B

Component of

No Buildroots

Main Site Links:

Information for RPM cvc4-devel-1.8-15.fc38.riscv64.rpm