ppc64le/linux/: z3-solver-5.0.0.0 metadata and description

Homepage Simple index

an efficient SMT solver library

author The Z3 Theorem Prover Project
classifiers
  • Environment :: MetaData :: IBM Python Ecosystem
dynamic
  • author
  • description
  • home-page
  • keywords
  • license
  • maintainer
  • maintainer-email
  • requires-dist
  • summary
keywords z3,smt,sat,prover,theorem
license MIT License
maintainer Audrey Dutcher and Nikolaj Bjorner
maintainer_email [email protected]
requires_dist
  • importlib-resources; python_version < "3.9"
File Tox results History
z3_solver-5.0.0.0-py3-none-manylinux2014_ppc64le.manylinux_2_39_ppc64le.whl
Size
49 MB
Type
Python Wheel
Python
3
  • Replaced 1 time(s)
  • Uploaded to ppc64le/linux by ppc64le 2026-08-20 10:40:58

Z3 is a theorem prover from Microsoft Research with support for bitvectors, booleans, arrays, floating point numbers, strings, and other data types.

For documentation, please read http://z3prover.github.io/api/html/z3.html

Export Classification Notice

The software hosted on this website consists of publicly available open‑source packages. To the extent U.S. export regulations apply, software that is publicly available as described in 15 C.F.R. §§ 734.7 (for non-encryption software) or 742.15(b) (for encryption software) is not subject to the Export Administration Regulations (EAR). Users are responsible for complying with all applicable export laws and regulations.