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

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

1002338

Name

cvc4-devel

Version

1.8

Release

15.rvre0.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-10 12:51:15 GMT

Size

130.33 KB

SIGMD5

f369ebb3cef846eff5594dc33b9abf13

License

BSD-3-Clause AND MIT

Buildroot

f38-build-710256-93299

Provides

cmake(CVC4) = 1.8

cmake(cvc4) = 1.8

cvc4-devel = 1.8-15.rvre0.fc38

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

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

cmake-filesystem(riscv-64)

cvc4-libs(riscv-64) = 1.8-15.rvre0.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: 1 through 50 of 93 >>>
/usr/share/man/man3/options.3cvc.gz	542.00 B
/usr/share/man/man3/libcvc4parser.3.gz	331.00 B
/usr/share/man/man3/libcvc4.3.gz	786.00 B
/usr/share/man/man3/SmtEngine.3cvc.gz	690.00 B
/usr/lib64/libcvc4parser.so	18.00 B
/usr/lib64/libcvc4.so	12.00 B
/usr/lib64/cmake/CVC4/CVC4Targets.cmake	4.86 KB
/usr/lib64/cmake/CVC4/CVC4Targets-production.cmake	1.81 KB
/usr/lib64/cmake/CVC4/CVC4JavaTargets.cmake	1.49 KB
/usr/lib64/cmake/CVC4/CVC4ConfigVersion.cmake	3.17 KB
/usr/lib64/cmake/CVC4/CVC4Config.cmake	1.53 KB
/usr/lib64/cmake/CVC4	0.00 B
/usr/include/cvc4/util/unsafe_interrupt_exception.h	1.27 KB
/usr/include/cvc4/util/tuple.h	1.48 KB
/usr/include/cvc4/util/string.h	9.15 KB
/usr/include/cvc4/util/statistics.h	3.51 KB
/usr/include/cvc4/util/sexpr.h	8.51 KB
/usr/include/cvc4/util/result.h	4.28 KB
/usr/include/cvc4/util/resource_manager.h	5.87 KB
/usr/include/cvc4/util/regexp.h	2.06 KB
/usr/include/cvc4/util/rational_gmp_imp.h	9.37 KB
/usr/include/cvc4/util/rational_cln_imp.h	9.76 KB
/usr/include/cvc4/util/rational.h	1.16 KB
/usr/include/cvc4/util/proof.h	1.16 KB
/usr/include/cvc4/util/maybe.h	2.09 KB
/usr/include/cvc4/util/integer_gmp_imp.h	13.75 KB
/usr/include/cvc4/util/integer_cln_imp.h	14.92 KB
/usr/include/cvc4/util/integer.h	1.16 KB
/usr/include/cvc4/util/hash.h	1.90 KB
/usr/include/cvc4/util/gmp_util.h	1.34 KB
/usr/include/cvc4/util/floatingpoint.h	19.68 KB
/usr/include/cvc4/util/divisible.h	1.58 KB
/usr/include/cvc4/util/cardinality.h	6.72 KB
/usr/include/cvc4/util/bool.h	853.00 B
/usr/include/cvc4/util/bitvector.h	13.71 KB
/usr/include/cvc4/util/abstract_value.h	1.74 KB
/usr/include/cvc4/util	0.00 B
/usr/include/cvc4/theory/theory_id.h	1.54 KB
/usr/include/cvc4/theory/logic_info.h	9.04 KB
/usr/include/cvc4/theory	0.00 B
/usr/include/cvc4/smt/smt_engine.h	45.22 KB
/usr/include/cvc4/smt/logic_exception.h	1.37 KB
/usr/include/cvc4/smt/command.h	44.19 KB
/usr/include/cvc4/smt	0.00 B
/usr/include/cvc4/proof/unsat_core.h	1.88 KB
/usr/include/cvc4/proof	0.00 B
/usr/include/cvc4/printer/sygus_print_callback.h	4.29 KB
/usr/include/cvc4/printer	0.00 B
/usr/include/cvc4/parser/parser_exception.h	2.72 KB
/usr/include/cvc4/parser/parser_builder.h	4.96 KB

Component of

No Buildroots

Main Site Links:

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