Main Site Links:

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

Information for RPM z3-4.12.4-4.rvre0.fc40.src.rpm

ID	1164381
Name	z3
Version	4.12.4
Release	4.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-12-31 15:30:13 GMT
Size	5.26 MB
SIGMD5	b68ad3a3f1d4ae42e772efef7e54ddca
License	MIT
Buildroot	f40-build-769529-125678
Provides	java-z3 = 4.12.4-4.rvre0.fc40 ocaml-z3 = 4.12.4-4.rvre0.fc40 ocaml-z3-devel = 4.12.4-4.rvre0.fc40 python3-z3 = 4.12.4-4.rvre0.fc40 z3 = 4.12.4-4.rvre0.fc40 z3-debuginfo = 4.12.4-4.rvre0.fc40 z3-debugsource = 4.12.4-4.rvre0.fc40 z3-devel = 4.12.4-4.rvre0.fc40 z3-doc = 4.12.4-4.rvre0.fc40 z3-libs = 4.12.4-4.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 3 of 3 Name Size z3-4.12.4.tar.gz 5.22 MB z3-ocaml.patch 2.98 KB z3.spec 21.53 KB
Component of	No Buildroots