Thu, 31 Oct 2024 23:38:05 UTC | login

Information for RPM cvc4-1.8-15.fc38.src.rpm

ID999736
Namecvc4
Version1.8
Release15.fc38
Epoch
Archsrc
SummaryAutomatic theorem prover for SMT problems
DescriptionCVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination. CVC4 is the fourth in the Cooperating Validity Checker family of tools (CVC, CVC Lite, CVC3) but does not directly incorporate code from any previous version. A joint project of NYU and U Iowa, CVC4 aims to support the features of CVC3 and SMT-LIBv2 while optimizing the design of the core system architecture and decision procedures to take advantage of recent engineering and algorithmic advances. CVC4 is intended to be an open and extensible SMT engine, and it can be used as a stand-alone tool or as a library, with essentially no limit on its use for research or commercial purposes.
Build Time2023-05-05 06:25:12 GMT
Size6.81 MB
1ff824213ee1ef986f5976fac7e27064
LicenseBSD-3-Clause AND MIT
Buildrootf38-build-709394-92901
Provides
cvc4 = 1.8-15.fc38
cvc4-debuginfo = 1.8-15.fc38
cvc4-debugsource = 1.8-15.fc38
cvc4-devel = 1.8-15.fc38
cvc4-java = 1.8-15.fc38
cvc4-libs = 1.8-15.fc38
cvc4-python3 = 1.8-15.fc38
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
abc-devel
antlr3-C-devel
antlr3-tool
boost-devel
cadical-devel
cmake
cmake(cryptominisat5)
cxxtest
drat-trim-devel
drat2er-devel
gcc-c++
ghostscript
gmp-devel
java-devel
javapackages-tools
kissat-devel
lfsc-devel
libtool
make
perl-interpreter
pkgconfig(readline)
python3-devel
python3dist(cython)
python3dist(setuptools)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
swig
symfpu-devel
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 8 of 8
Name descending sort Size
cvc4.spec17.50 KB
cvc4-toml.patch1.09 KB
cvc4-flags.patch2.10 KB
cvc4-dup-decl.patch458.00 B
cvc4-do-not-use-gold.diff900.00 B
cvc4-cryptominisat.patch1.35 KB
cvc4-bash-patsub-replacement.patch777.00 B
cvc4-1.8.tar.gz7.20 MB
Component of No Buildroots