Thu, 28 Mar 2024 10:53:56 UTC | login

Information for RPM z3-4.7.1-1.fc29.src.rpm

ID94746
Namez3
Version4.7.1
Release1.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-29 12:51:42 GMT
Size3.84 MB
d79431273670c4e19cca7a5f8907f03c
LicenseMIT
Buildrootf29-build-5247-1211
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 3 of 3
Name ascending sort Size
z3-4.7.1.tar.gz3.83 MB
z3-sse2.patch354.00 B
z3.spec11.04 KB
Component of No Buildroots