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

In the event of technical difficulties related to configuration, compilation, or installation, please submit issues to https://github.com/z3prover/z3.git

Project links

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Newer release available (5.1.0.0)

5 maintainers

PyPI data
Data sourced directly from PyPI's database.
Avatar for ltfish from gravatar.com ltfish Avatar for NikolajBjorner from gravatar.com NikolajBjorner Avatar for rhelmot from gravatar.com rhelmot
+2 more Avatar for salls from gravatar.com salls Avatar for zardus from gravatar.com zardus

Credits

Author: The Z3 Theorem Prover Project

Maintainer: Audrey Dutcher and Nikolaj Bjorner

License

MIT License

Tags

z3 smt sat prover theorem

Report project as malware

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

z3-solver-4.8.15.0.tar.gz (4.5 MB view details)

Uploaded Source

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

z3_solver-4.8.15.0-py2.py3-none-win_amd64.whl (35.7 MB view details)

Uploaded Python 2Python 3Windows x86-64

z3_solver-4.8.15.0-py2.py3-none-win32.whl (33.1 MB view details)

Uploaded Python 2Python 3Windows x86

z3_solver-4.8.15.0-py2.py3-none-manylinux1_x86_64.whl (33.0 MB view details)

Uploaded Python 2Python 3

z3_solver-4.8.15.0-py2.py3-none-macosx_10_16_x86_64.whl (19.0 MB view details)

Uploaded Python 2Python 3macOS 10.16+ x86-64

File details

Details for the file z3-solver-4.8.15.0.tar.gz.

File metadata

  • Download URL: z3-solver-4.8.15.0.tar.gz
  • Upload date:
  • Size: 4.5 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/34.0 requests/2.22.0 requests-toolbelt/0.9.1 urllib3/1.26.9 tqdm/4.63.0 importlib-metadata/4.11.3 keyring/18.0.1 rfc3986/2.0.0 colorama/0.4.3 CPython/3.8.10

File hashes

Hashes for z3-solver-4.8.15.0.tar.gz
Algorithm Hash digest
SHA256 4f1612fcca67eba92bb1752182e6e659d0607ae5d88d8db99a07451ed7f8ff49
MD5 6b06439abcd34028bfcaba88abe2f642
BLAKE2b-256 4c6e8552fd328bbb533e2296d99c458535452b331424b70276ce81342b089a39

See more details on using hashes here.

File details

Details for the file z3_solver-4.8.15.0-py2.py3-none-win_amd64.whl.

File metadata

  • Download URL: z3_solver-4.8.15.0-py2.py3-none-win_amd64.whl
  • Upload date:
  • Size: 35.7 MB
  • Tags: Python 2, Python 3, Windows x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/34.0 requests/2.22.0 requests-toolbelt/0.9.1 urllib3/1.26.9 tqdm/4.63.0 importlib-metadata/4.11.3 keyring/18.0.1 rfc3986/2.0.0 colorama/0.4.3 CPython/3.8.10

File hashes

Hashes for z3_solver-4.8.15.0-py2.py3-none-win_amd64.whl
Algorithm Hash digest
SHA256 3a7918ff81d3af833cfda07925e6b14b9c851e2794cf69fc7353baaf5ae3e031
MD5 28a6db36fafbbaa4b221e614ac8d4e25
BLAKE2b-256 a7ce3b69fa873089ff224b41b0f2d2f8fb96f36f5765844b7f066942a7e893c3

See more details on using hashes here.

File details

Details for the file z3_solver-4.8.15.0-py2.py3-none-win32.whl.

File metadata

  • Download URL: z3_solver-4.8.15.0-py2.py3-none-win32.whl
  • Upload date:
  • Size: 33.1 MB
  • Tags: Python 2, Python 3, Windows x86
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/34.0 requests/2.22.0 requests-toolbelt/0.9.1 urllib3/1.26.9 tqdm/4.63.0 importlib-metadata/4.11.3 keyring/18.0.1 rfc3986/2.0.0 colorama/0.4.3 CPython/3.8.10

File hashes

Hashes for z3_solver-4.8.15.0-py2.py3-none-win32.whl
Algorithm Hash digest
SHA256 9916cc09dbae7e3d69b1fe2ce193a3e8ac17172795b56a11456c9452239792c6
MD5 e578eb26291250d0abcad29861d4217a
BLAKE2b-256 8e3c53e91dc78d2189b2742ebb82e402a205dd57a9bdff7444191ef09ff80a98

See more details on using hashes here.

File details

Details for the file z3_solver-4.8.15.0-py2.py3-none-manylinux1_x86_64.whl.

File metadata

  • Download URL: z3_solver-4.8.15.0-py2.py3-none-manylinux1_x86_64.whl
  • Upload date:
  • Size: 33.0 MB
  • Tags: Python 2, Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/34.0 requests/2.22.0 requests-toolbelt/0.9.1 urllib3/1.26.9 tqdm/4.63.0 importlib-metadata/4.11.3 keyring/18.0.1 rfc3986/2.0.0 colorama/0.4.3 CPython/3.8.10

File hashes

Hashes for z3_solver-4.8.15.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 e743cf7e4f553a56fb26851555d1a5f1cbbadffcce2fa812f7cc997814cbdfc0
MD5 a1d428a558130b626c611a078aa78051
BLAKE2b-256 cde289f80b7bb8af76d3f7dda3cc2daf9ffbea6da4c94c14e5c57e329dc2588a

See more details on using hashes here.

File details

Details for the file z3_solver-4.8.15.0-py2.py3-none-macosx_10_16_x86_64.whl.

File metadata

  • Download URL: z3_solver-4.8.15.0-py2.py3-none-macosx_10_16_x86_64.whl
  • Upload date:
  • Size: 19.0 MB
  • Tags: Python 2, Python 3, macOS 10.16+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/34.0 requests/2.22.0 requests-toolbelt/0.9.1 urllib3/1.26.9 tqdm/4.63.0 importlib-metadata/4.11.3 keyring/18.0.1 rfc3986/2.0.0 colorama/0.4.3 CPython/3.8.10

File hashes

Hashes for z3_solver-4.8.15.0-py2.py3-none-macosx_10_16_x86_64.whl
Algorithm Hash digest
SHA256 f260b46db33a11d09d2a4bc720f418ca8059b9b59a392cc9e0d985e3dd4dc821
MD5 46c86c8bb3ac1a431a33e5b939933e26
BLAKE2b-256 8e9dda7999fa50c960a2498190d55f4a27970d861f8c2ad9112c4a2169bc5236

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page