Sat, 01 Jun 2024 03:02:31 UTC | login

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

ID1002338
Namecvc4-devel
Version1.8
Release15.rvre0.fc38
Epoch
Archriscv64
SummaryHeaders and other files for developing with cvc4
DescriptionHeader files and library links for developing applications that use cvc4.
Build Time2023-05-10 12:51:15 GMT
Size130.33 KB
f369ebb3cef846eff5594dc33b9abf13
LicenseBSD-3-Clause AND MIT
Buildrootf38-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
Page:
1 through 50 of 93 >>>
Name Size ascending sort
/usr/include/cvc40.00 B
/usr/include/cvc4/api0.00 B
/usr/include/cvc4/base0.00 B
/usr/include/cvc4/context0.00 B
/usr/include/cvc4/expr0.00 B
/usr/include/cvc4/options0.00 B
/usr/include/cvc4/parser0.00 B
/usr/include/cvc4/printer0.00 B
/usr/include/cvc4/proof0.00 B
/usr/include/cvc4/smt0.00 B
/usr/include/cvc4/theory0.00 B
/usr/include/cvc4/util0.00 B
/usr/lib64/cmake/CVC40.00 B
/usr/lib64/libcvc4.so12.00 B
/usr/lib64/libcvc4parser.so18.00 B
/usr/share/man/man3/libcvc4parser.3.gz331.00 B
/usr/share/man/man3/options.3cvc.gz542.00 B
/usr/share/man/man3/SmtEngine.3cvc.gz690.00 B
/usr/share/man/man3/libcvc4.3.gz786.00 B
/usr/include/cvc4/expr/array.h813.00 B
/usr/include/cvc4/util/bool.h853.00 B
/usr/include/cvc4/cvc4parser_public.h922.00 B
/usr/include/cvc4/cvc4.h1.13 KB
/usr/include/cvc4/util/integer.h1.16 KB
/usr/include/cvc4/util/rational.h1.16 KB
/usr/include/cvc4/util/proof.h1.16 KB
/usr/include/cvc4/options/printer_modes.h1.24 KB
/usr/include/cvc4/util/unsafe_interrupt_exception.h1.27 KB
/usr/include/cvc4/context/cdhashset_forward.h1.28 KB
/usr/include/cvc4/util/gmp_util.h1.34 KB
/usr/include/cvc4/smt/logic_exception.h1.37 KB
/usr/include/cvc4/context/cdinsert_hashmap_forward.h1.37 KB
/usr/include/cvc4/context/cdhashmap_forward.h1.38 KB
/usr/include/cvc4/util/tuple.h1.48 KB
/usr/lib64/cmake/CVC4/CVC4JavaTargets.cmake1.49 KB
/usr/lib64/cmake/CVC4/CVC4Config.cmake1.53 KB
/usr/include/cvc4/theory/theory_id.h1.54 KB
/usr/include/cvc4/util/divisible.h1.58 KB
/usr/include/cvc4/expr/variable_type_map.h1.67 KB
/usr/include/cvc4/util/abstract_value.h1.74 KB
/usr/lib64/cmake/CVC4/CVC4Targets-production.cmake1.81 KB
/usr/include/cvc4/context/cdlist_forward.h1.86 KB
/usr/include/cvc4/base/modal_exception.h1.87 KB
/usr/include/cvc4/proof/unsat_core.h1.88 KB
/usr/include/cvc4/util/hash.h1.90 KB
/usr/include/cvc4/expr/ascription_type.h1.92 KB
/usr/include/cvc4/cvc4_public.h2.00 KB
/usr/include/cvc4/expr/emptyset.h2.03 KB
/usr/include/cvc4/util/regexp.h2.06 KB
/usr/include/cvc4/options/option_exception.h2.07 KB
Component of No Buildroots