Main Site Links:

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

Information for RPM z3-4.12.1-2.rvre0.fc38.src.rpm

ID	1001479
Name	z3
Version	4.12.1
Release	2.rvre0.fc38
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-05-10 08:04:02 GMT
Size	5.25 MB
SIGMD5	c8dabbe38bbe606e6c7c6bc5a2655fcb
License	MIT
Buildroot	f38-build-710158-93251
Provides	java-z3 = 4.12.1-2.rvre0.fc38 ocaml-z3 = 4.12.1-2.rvre0.fc38 ocaml-z3-devel = 4.12.1-2.rvre0.fc38 python3-z3 = 4.12.1-2.rvre0.fc38 z3 = 4.12.1-2.rvre0.fc38 z3-debuginfo = 4.12.1-2.rvre0.fc38 z3-debugsource = 4.12.1-2.rvre0.fc38 z3-devel = 4.12.1-2.rvre0.fc38 z3-doc = 4.12.1-2.rvre0.fc38 z3-libs = 4.12.1-2.rvre0.fc38
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 Size z3-4.12.1.tar.gz 5.22 MB z3-python.patch 867.00 B z3.spec 19.92 KB
Component of	No Buildroots