Skip to main content

an efficient SMT solver library

Project description

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 details


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.9.1.0.tar.gz (4.7 MB view details)

Uploaded Source

Built Distributions

z3_solver-4.9.1.0-py2.py3-none-win_amd64.whl (55.2 MB view details)

Uploaded Python 2Python 3Windows x86-64

z3_solver-4.9.1.0-py2.py3-none-win32.whl (52.4 MB view details)

Uploaded Python 2Python 3Windows x86

z3_solver-4.9.1.0-py2.py3-none-manylinux1_x86_64.whl (52.7 MB view details)

Uploaded Python 2Python 3

z3_solver-4.9.1.0-py2.py3-none-macosx_11_0_arm64.whl (25.7 MB view details)

Uploaded Python 2Python 3macOS 11.0+ ARM64

z3_solver-4.9.1.0-py2.py3-none-macosx_10_16_x86_64.whl (28.6 MB view details)

Uploaded Python 2Python 3macOS 10.16+ x86-64

File details

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

File metadata

  • Download URL: z3-solver-4.9.1.0.tar.gz
  • Upload date:
  • Size: 4.7 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.1 CPython/3.8.10

File hashes

Hashes for z3-solver-4.9.1.0.tar.gz
Algorithm Hash digest
SHA256 5ed51c9748a23b6e21af9a526fa21f7ff0a76fd696aff436676300f162e10ddc
MD5 7a92e929a13f0c63da285a6886bbd9aa
BLAKE2b-256 91bed247b751fd779e2e6abb175347cf97893e8606a19deaeab4ed26581b81a0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for z3_solver-4.9.1.0-py2.py3-none-win_amd64.whl
Algorithm Hash digest
SHA256 839316993360b60159098fc9e223eeb2c8b2396e94a17aefa1958bf94f2e880b
MD5 4dae578dfe5f90051be24ffba15e643a
BLAKE2b-256 58d87d3a62731178a5eef5e39b2fab65b703c5f3cde1f75a4567b5e78a7920a9

See more details on using hashes here.

File details

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

File metadata

  • Download URL: z3_solver-4.9.1.0-py2.py3-none-win32.whl
  • Upload date:
  • Size: 52.4 MB
  • Tags: Python 2, Python 3, Windows x86
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.1 CPython/3.8.10

File hashes

Hashes for z3_solver-4.9.1.0-py2.py3-none-win32.whl
Algorithm Hash digest
SHA256 03179ecf5037c07f9d0d914c4fe933564ad48f44090eb668766a9463d04f5dd8
MD5 5b94304d0fb8d7f6e42235d9e544e8ef
BLAKE2b-256 489d1a0f8dd94e410331b6f46d6a74aca9a9b36df1e13d94323588b57da7cc94

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for z3_solver-4.9.1.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 fa5afb6840dca03881ce74abdc83b4ebc5722360d42f144c1b269d9f5a7b2efb
MD5 409c344bd34db395f968e4fa0bc53b8c
BLAKE2b-256 418689498231f602bed0409dc76f36c0cdef32218bd6f02f4a6d31e747ce9114

See more details on using hashes here.

File details

Details for the file z3_solver-4.9.1.0-py2.py3-none-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for z3_solver-4.9.1.0-py2.py3-none-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 3f7567856482aa7a529baf07811c095843180a3855d0500d39de7f049c40155e
MD5 2e0d7e13f11da5306bb8eacc5da7f06c
BLAKE2b-256 1cbadbe465b40fd3b792ebe077653ac8971c44eda53c2852c3cee72d1a28cd24

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for z3_solver-4.9.1.0-py2.py3-none-macosx_10_16_x86_64.whl
Algorithm Hash digest
SHA256 50cb962299d73bf0d5e5258ef62e72061bf2e5f7b6b32336629743039d5dcac0
MD5 6184d37e864631959e5825c0072e9dfe
BLAKE2b-256 ec25db70fa7e15c67e863221d88f6ce08436f14d24ce44f9dea6e4efccdf5b79

See more details on using hashes here.

Supported by

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