Thu, 09 May 2024 10:40:23 UTC | login

Information for RPM z3-4.11.2-1.fc37.src.rpm

ID859798
Namez3
Version4.11.2
Release1.fc37
Epoch
Archsrc
SummarySatisfiability Modulo Theories (SMT) solver
DescriptionZ3 is a satisfiability modulo theories (SMT) solver; given a set of constraints with variables, it reports a set of values for those variables that would meet the constraints. The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard. Z3 supports arithmetic, fixed-size bit-vectors, extensional arrays, datatypes, uninterpreted functions, and quantifiers.
Build Time2022-10-26 13:56:54 GMT
Size5.21 MB
b4122208feba1e5ba7b410d83e0098d8
LicenseMIT
Buildrootf37-build-658205-73355
Provides
java-z3 = 4.11.2-1.fc37
ocaml-z3 = 4.11.2-1.fc37
ocaml-z3-devel = 4.11.2-1.fc37
python3-z3 = 4.11.2-1.fc37
z3 = 4.11.2-1.fc37
z3-debuginfo = 4.11.2-1.fc37
z3-debugsource = 4.11.2-1.fc37
z3-devel = 4.11.2-1.fc37
z3-doc = 4.11.2-1.fc37
z3-libs = 4.11.2-1.fc37
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
cmake
doxygen
gcc-c++
gmp-devel
graphviz
help2man
java-devel
javapackages-tools
make
ninja-build
ocaml
ocaml-findlib
ocaml-ocamldoc
ocaml-zarith-devel
python3-devel
python3dist(setuptools)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 3 of 3
Name ascending sort Size
z3-4.11.2.tar.gz5.18 MB
z3-python.patch867.00 B
z3.spec17.82 KB
Component of No Buildroots