Thu, 28 Mar 2024 09:36:53 UTC | login

Information for RPM z3-4.8.3-1.fc30.src.rpm

ID308015
Namez3
Version4.8.3
Release1.fc30
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-12-05 08:48:52 GMT
Size3.94 MB
fe339da67d2724c6b66a6ff725dcd572
LicenseMIT
Buildrootf30-build-36614-20684
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
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.8.3.tar.gz3.93 MB
z3-no-sse.patch1.66 KB
z3.spec10.90 KB
Component of No Buildroots