Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM z3-4.12.2-7.rvre0.fc40.src.rpm

ID	1092088
Name	z3
Version	4.12.2
Release	7.rvre0.fc40
Epoch
Arch	src
Summary	Satisfiability Modulo Theories (SMT) solver
Description	Z3 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 Time	2023-11-13 11:09:51 GMT
Size	5.19 MB
SIGMD5	fd21014fc6e364afe24794c273d7b365
License	MIT
Buildroot	f40-build-740005-109436
Provides	java-z3 = 4.12.2-7.rvre0.fc40 ocaml-z3 = 4.12.2-7.rvre0.fc40 ocaml-z3-devel = 4.12.2-7.rvre0.fc40 python3-z3 = 4.12.2-7.rvre0.fc40 z3 = 4.12.2-7.rvre0.fc40 z3-debuginfo = 4.12.2-7.rvre0.fc40 z3-debugsource = 4.12.2-7.rvre0.fc40 z3-devel = 4.12.2-7.rvre0.fc40 z3-doc = 4.12.2-7.rvre0.fc40 z3-libs = 4.12.2-7.rvre0.fc40
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 6 of 6 Name Size z3-4.12.2.tar.gz 5.15 MB z3-escapes.patch 11.59 KB z3-ocaml.patch 2.98 KB z3-python.patch 867.00 B z3-stdint.patch 1.20 KB z3.spec 21.39 KB
Component of	No Buildroots