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

Uploaded Source

Built Distributions

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

Uploaded Python 2Python 3Windows x86-64

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

Uploaded Python 2Python 3Windows x86

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

Uploaded Python 2Python 3

z3_solver-4.9.0.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.0.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.0.0.tar.gz.

File metadata

  • Download URL: z3-solver-4.9.0.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.0.0.tar.gz
Algorithm Hash digest
SHA256 df6e0b8c127595e57e9858832e5c0dcc9bb2c8db0b16df7ece5439b8586a8719
MD5 4920f8963d615740ffd4e50d40b53277
BLAKE2b-256 0aaa78ae5a972762484594f5c091d426855749604a82b7bc3733cd5dc080cda1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for z3_solver-4.9.0.0-py2.py3-none-win_amd64.whl
Algorithm Hash digest
SHA256 16a2dc42d77d104a6b3cf156f1f981b1b2a98700243803788b75c4eaf9f20047
MD5 86a38a283aa47789f32700c96074ab3a
BLAKE2b-256 0c56b38232edcb8637f14a16072e1baa315a3f88bcac8b7bd41d52d8ec644bbc

See more details on using hashes here.

File details

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

File metadata

  • Download URL: z3_solver-4.9.0.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.0.0-py2.py3-none-win32.whl
Algorithm Hash digest
SHA256 7690b1f744c2da083baf4dac91450f8d4c029b9f24f1d1081b60488be6bef4e8
MD5 a3b4302774b319be634803696d415cd9
BLAKE2b-256 c2a7fdf576ef49a77469cd6656169ae040a25bb4f6f853adc3db39b9fba602b5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for z3_solver-4.9.0.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 c1d5e63e434a02b27f135702f2e5a469724ee4a7c0ec739bde8f5de35721f6cb
MD5 7381de40fabba85142aa2adb44a5c4b8
BLAKE2b-256 ac561968dbf673f97049fa744ecc71b80d7a48d0a8ab42101202d22832b96d58

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for z3_solver-4.9.0.0-py2.py3-none-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 80aff67512e90aeca2f24525493ecce332c1bb8af3ff9e8e0e41554db61d6208
MD5 cee7d217a18ad40324f85872b9c3bbdc
BLAKE2b-256 24f6313a924da38d5103dfd818babf0d5361db0ffa5aa8f1cd217f61c4f5cb1f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for z3_solver-4.9.0.0-py2.py3-none-macosx_10_16_x86_64.whl
Algorithm Hash digest
SHA256 2c65283890be1f139f19d38412c642f3c5ee0386613510753515de7ff3302851
MD5 372147f6694673d1ce7b26ddf0a613a3
BLAKE2b-256 8ec27e79ba375be6588d4be07b44c468ac514933867111eec852766f5a96409f

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