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/angr/angr-z3

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

Uploaded Source

Built Distributions

z3_solver-4.8.8.0-py2.py3-none-win_amd64.whl (32.9 MB view details)

Uploaded Python 2Python 3Windows x86-64

z3_solver-4.8.8.0-py2.py3-none-win32.whl (29.5 MB view details)

Uploaded Python 2Python 3Windows x86

z3_solver-4.8.8.0-py2.py3-none-manylinux1_x86_64.whl (29.6 MB view details)

Uploaded Python 2Python 3

z3_solver-4.8.8.0-py2.py3-none-macosx_10_14_x86_64.whl (18.1 MB view details)

Uploaded Python 2Python 3macOS 10.14+ x86-64

File details

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

File metadata

  • Download URL: z3-solver-4.8.8.0.tar.gz
  • Upload date:
  • Size: 4.4 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.15.0 pkginfo/1.5.0.1 requests/2.23.0 setuptools/44.1.0 requests-toolbelt/0.9.1 tqdm/4.46.0 CPython/2.7.12

File hashes

Hashes for z3-solver-4.8.8.0.tar.gz
Algorithm Hash digest
SHA256 94d994466db9fda7c04630124aac3bb7f0f60328346d982afd3b017e8defba0f
MD5 94f69d456d53a7ea75683006e542f11d
BLAKE2b-256 cd784e1d0e2badfa2153088db1f410bb84e3c49e56637bf96fa86b45454351c4

See more details on using hashes here.

File details

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

File metadata

  • Download URL: z3_solver-4.8.8.0-py2.py3-none-win_amd64.whl
  • Upload date:
  • Size: 32.9 MB
  • Tags: Python 2, Python 3, Windows x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.15.0 pkginfo/1.5.0.1 requests/2.23.0 setuptools/44.1.0 requests-toolbelt/0.9.1 tqdm/4.46.0 CPython/2.7.12

File hashes

Hashes for z3_solver-4.8.8.0-py2.py3-none-win_amd64.whl
Algorithm Hash digest
SHA256 3f19c15d8f8f16ef1a257d1a58a0f0d6d3f2f652a9d3b48f507045bd336f97a8
MD5 1ad62f309c72134bb5472eb8acbb1a3d
BLAKE2b-256 5aae3af5306495eabf37a6af496a3e7e01a9e7be624e8e1b243f7b0b034e9d3b

See more details on using hashes here.

File details

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

File metadata

  • Download URL: z3_solver-4.8.8.0-py2.py3-none-win32.whl
  • Upload date:
  • Size: 29.5 MB
  • Tags: Python 2, Python 3, Windows x86
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.15.0 pkginfo/1.5.0.1 requests/2.23.0 setuptools/44.1.0 requests-toolbelt/0.9.1 tqdm/4.46.0 CPython/2.7.12

File hashes

Hashes for z3_solver-4.8.8.0-py2.py3-none-win32.whl
Algorithm Hash digest
SHA256 e8658f5cafa2c7e8239c5b9d80fa39ee0137d876fd084000c0f1cb76256df989
MD5 228f987f5e19fa41226a0fb3e1d89efc
BLAKE2b-256 c62c79cf97c941042f663c6bf69d89ddd4c6bb50d3ce0c921b2fdfbfb1dd5124

See more details on using hashes here.

File details

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

File metadata

  • Download URL: z3_solver-4.8.8.0-py2.py3-none-manylinux1_x86_64.whl
  • Upload date:
  • Size: 29.6 MB
  • Tags: Python 2, Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.15.0 pkginfo/1.5.0.1 requests/2.23.0 setuptools/44.1.0 requests-toolbelt/0.9.1 tqdm/4.46.0 CPython/2.7.12

File hashes

Hashes for z3_solver-4.8.8.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 605da13b9699d8472284833578281be0650f6f2ca194efe2cde78f2a44710e40
MD5 3dae6d55f362d92036fe2d50c2d966f6
BLAKE2b-256 d9c896c9a89e4f5e101404ac19a1da17eed972f27d22a8a0ec3e441234eb513f

See more details on using hashes here.

File details

Details for the file z3_solver-4.8.8.0-py2.py3-none-macosx_10_14_x86_64.whl.

File metadata

  • Download URL: z3_solver-4.8.8.0-py2.py3-none-macosx_10_14_x86_64.whl
  • Upload date:
  • Size: 18.1 MB
  • Tags: Python 2, Python 3, macOS 10.14+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.15.0 pkginfo/1.5.0.1 requests/2.23.0 setuptools/44.1.0 requests-toolbelt/0.9.1 tqdm/4.46.0 CPython/2.7.12

File hashes

Hashes for z3_solver-4.8.8.0-py2.py3-none-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 c25bb31aa8d6de7f27701b0fe56c99433304e0c33fed43bcbfbf34d641fbe9c5
MD5 ac6f99a22caacebf6bdfdced3488a869
BLAKE2b-256 409f6ba0bb38709cf16dc13e877ef6ea8a59147478e4f036a0d60475b7997b3d

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