Sun, 30 Jun 2024 22:00:06 UTC | login

Information for RPM z3-4.13.0-2.fc41.src.rpm

ID1307617
Namez3
Version4.13.0
Release2.fc41
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 Time2024-06-03 19:14:49 GMT
Size5.30 MB
9453e3a5a1df82d4a3c76ee82fdd5b4e
LicenseMIT
https://github.com/Z3Prover/z3
Buildrootf41-build-811566-147307
Provides
java-z3 = 4.13.0-2.fc41
ocaml-z3 = 4.13.0-2.fc41
ocaml-z3-devel = 4.13.0-2.fc41
python3-z3 = 4.13.0-2.fc41
z3 = 4.13.0-2.fc41
z3-debuginfo = 4.13.0-2.fc41
z3-debugsource = 4.13.0-2.fc41
z3-devel = 4.13.0-2.fc41
z3-doc = 4.13.0-2.fc41
z3-libs = 4.13.0-2.fc41
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.13.0.tar.gz5.26 MB
z3-ocaml.patch2.98 KB
z3.spec21.97 KB
Component of No Buildroots