Tue, 19 Mar 2024 09:24:36 UTC | login

Information for RPM z3-4.6.0-2.fc29.src.rpm

ID94194
Namez3
Version4.6.0
Release2.fc29
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 Time2018-05-27 16:21:45 GMT
Size3.82 MB
38fdbeac4d0b42a182fd682216e32255
LicenseMIT
Buildrootf29-build-4952-1059
Provides No Provides
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
doxygen
gcc-c++
gmp-devel
graphviz
java-devel
jpackage-utils
ocaml
ocaml-findlib
ocaml-num-devel
ocaml-ocamldoc
python2-devel
python2-setuptools
python3-devel
python3-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 4 of 4
Name ascending sort Size
z3-4.6.0.tar.gz3.80 MB
z3-sse2.patch354.00 B
z3-vector.patch520.00 B
z3.spec11.08 KB
Component of No Buildroots