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
Release history Release notifications | RSS feed
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.13.3.0.tar.gz
(4.9 MB
view details)
Built Distributions
File details
Details for the file z3_solver-4.13.3.0.tar.gz.
File metadata
- Download URL: z3_solver-4.13.3.0.tar.gz
- Upload date:
- Size: 4.9 MB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.10.12
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 4c27466455bac65d3c512f4bb4841ac79e05e121d3f98ddc99ac27ab4bc27e05 |
|
| MD5 | 3403968634c195d1313e02567591c0e2 |
|
| BLAKE2b-256 | 124366654a437cd16bc25802284bd0f7ee94a679993ec0d90df25d2cbb595239 |
File details
Details for the file z3_solver-4.13.3.0-py3-none-win_amd64.whl.
File metadata
- Download URL: z3_solver-4.13.3.0-py3-none-win_amd64.whl
- Upload date:
- Size: 15.6 MB
- Tags: Python 3, Windows x86-64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.10.12
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | d55e4793fa48230af766c7f6f7f033198b2d9df150d89ec65b07fd7b87998897 |
|
| MD5 | 30c3f1f16f951066ac334bcd51b33202 |
|
| BLAKE2b-256 | 2694352fc6e18bd23056b57132bbe9d40facd5f70acebe23a6c49bfd89fa2bc0 |
File details
Details for the file z3_solver-4.13.3.0-py3-none-win32.whl.
File metadata
- Download URL: z3_solver-4.13.3.0-py3-none-win32.whl
- Upload date:
- Size: 12.7 MB
- Tags: Python 3, Windows x86
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.10.12
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | ba465489e9ab609f1cf0f232cbc102165b89a507347a6093c2ac3224cf161aa3 |
|
| MD5 | 6f93f0475dc9267ee9c1f6d4aa45239d |
|
| BLAKE2b-256 | 1875adfd645c3e3418052675b06717c4339f423ca7b51b7185fb0897f913acdc |
File details
Details for the file z3_solver-4.13.3.0-py3-none-manylinux_2_34_aarch64.whl.
File metadata
- Download URL: z3_solver-4.13.3.0-py3-none-manylinux_2_34_aarch64.whl
- Upload date:
- Size: 26.2 MB
- Tags: Python 3, manylinux: glibc 2.34+ ARM64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.10.12
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | ab5057cb1f4680406a232d2c1d968daaf69fae10685baa0887b85ca8e938a5cf |
|
| MD5 | f62e2c74123d8f3f30c8ec409d52fe49 |
|
| BLAKE2b-256 | 1cff51b34658ceca98978be0d0e5161bc239015188debc4e3895803a311608fd |
File details
Details for the file z3_solver-4.13.3.0-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.
File metadata
- Download URL: z3_solver-4.13.3.0-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
- Upload date:
- Size: 28.1 MB
- Tags: Python 3, manylinux: glibc 2.17+ x86-64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.10.12
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 794843e4946ade1561e40a75ffc1163b45d36b493fd6cc269ad1d6a65bddb8e5 |
|
| MD5 | c8d0dd2702b6e60c54fe9a767654b51d |
|
| BLAKE2b-256 | b6f2036f6501d3a2835cd4a17fd67364cd56337a5183e20b063d3d8a005f7288 |
File details
Details for the file z3_solver-4.13.3.0-py3-none-macosx_13_0_x86_64.whl.
File metadata
- Download URL: z3_solver-4.13.3.0-py3-none-macosx_13_0_x86_64.whl
- Upload date:
- Size: 38.5 MB
- Tags: Python 3, macOS 13.0+ x86-64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.10.12
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 7900fbd1917164c938a20bea7845f7b95fcb431d0ade474d408f979196bccb8f |
|
| MD5 | 5ac4a9a49f3d14427c551182c4dc628e |
|
| BLAKE2b-256 | 2fc3dde2e0ec7bd698bfa3d9b6d6eb5dcc4eb6434a5dc8430c2ac97eb413b1f4 |
File details
Details for the file z3_solver-4.13.3.0-py3-none-macosx_13_0_arm64.whl.
File metadata
- Download URL: z3_solver-4.13.3.0-py3-none-macosx_13_0_arm64.whl
- Upload date:
- Size: 35.9 MB
- Tags: Python 3, macOS 13.0+ ARM64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.10.12
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | cae621cb47ebcf055f6a27285343d5c932f4c282b15c5d2840327e73e15a86a4 |
|
| MD5 | d8e95409f5308aa92635ae44f55b17af |
|
| BLAKE2b-256 | 5b3efbefba102a95621b2eb9030acbb74338ab6078d2fef587ba3dc2a705bc4b |
