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
5 maintainers
Metadata
5 maintainers
Release files for z3-solver 4.11.2.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| z3-solver-4.11.2.0.tar.gz | 4.7 MB | Details |
Built distributions (wheels)
| File | Reset | |||
|---|---|---|---|---|
| z3_solver-4.11.2.0-py2.py3-none-win_amd64.whl | Python 3, Python 2 | none | Windows x86-64 | Details |
| z3_solver-4.11.2.0-py2.py3-none-win32.whl | Python 2, Python 3 | none | Windows x86-32 | Details |
| z3_solver-4.11.2.0-py2.py3-none-manylinux1_x86_64.whl | Python 3, Python 2 | none | Linux glibc 2.5+ x86-64 | Details |
| z3_solver-4.11.2.0-py2.py3-none-macosx_11_0_arm64.whl | Python 3, Python 2 | none | macOS 11.0+ ARM64 | Details |
| z3_solver-4.11.2.0-py2.py3-none-macosx_10_16_x86_64.whl | Python 3, Python 2 | none | macOS 10.16+ x86-64 | Details |
Total release size: 223.4 MB
Release files / z3-solver-4.11.2.0.tar.gz
| Download URL | z3-solver-4.11.2.0.tar.gz |
|---|---|
| Size | 4.7 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
c7c7f10350db19eec831f9a45833268022c786e9ac0fbd9b2330956b377b9c39
|
|
BLAKE2b-256 checksum How to use checksums |
8f71eb17a3a814d2cd4bc85b05992451934375619716c86005e6f6929a74a9dc
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.1 CPython/3.8.10
|
Release files / z3_solver-4.11.2.0-py2.py3-none-win_amd64.whl
| Download URL | z3_solver-4.11.2.0-py2.py3-none-win_amd64.whl |
|---|---|
| Size | 56.2 MB |
| Tags | Python 2 Python 3 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
f763c6ad22a8455df46efa3755a75d5af5d40535a1e5ec5171c199cfda663e90
|
|
BLAKE2b-256 checksum How to use checksums |
a4e7206fcb6c72fff22c8b157decd988da0cbc59503d23318382ac83b7ec591a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.1 CPython/3.8.10
|
Release files / z3_solver-4.11.2.0-py2.py3-none-win32.whl
| Download URL | z3_solver-4.11.2.0-py2.py3-none-win32.whl |
|---|---|
| Size | 53.4 MB |
| Tags | Python 2 Python 3 Windows x86-32 |
|
SHA-256 checksum How to use checksums |
e4d3302c4046d65d0c8b5601d9b085f219b0fa78e312d08a5b24c86bb1629d05
|
|
BLAKE2b-256 checksum How to use checksums |
92578e48654d743a98502c4c0e8996e4bbf18047e9f16e281ce028b27219aa5f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.1 CPython/3.8.10
|
Release files / z3_solver-4.11.2.0-py2.py3-none-manylinux1_x86_64.whl
| Download URL | z3_solver-4.11.2.0-py2.py3-none-manylinux1_x86_64.whl |
|---|---|
| Size | 53.8 MB |
| Tags | Linux glibc 2.5+ x86-64 Python 2 Python 3 |
|
SHA-256 checksum How to use checksums |
9b5a11370df7ac27394fc660c812b2c9aac26f21fadf11e2c51a19cb707c1795
|
|
BLAKE2b-256 checksum How to use checksums |
5035a2a55bc90bbaf444bcd00ee54f258dad367f58eeb8a0427f0ce066871003
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.1 CPython/3.8.10
|
Release files / z3_solver-4.11.2.0-py2.py3-none-macosx_11_0_arm64.whl
| Download URL | z3_solver-4.11.2.0-py2.py3-none-macosx_11_0_arm64.whl |
|---|---|
| Size | 26.2 MB |
| Tags | Python 2 Python 3 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
2cb81dcc220292dfcff6b5937f5faebeba4d0db7d2cc690f43e6f619bda40c47
|
|
BLAKE2b-256 checksum How to use checksums |
b905eb0e140bde30c64ecfd44e6edba7129c0a19b6b0f529afcd30caa515e358
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.1 CPython/3.8.10
|
Release files / z3_solver-4.11.2.0-py2.py3-none-macosx_10_16_x86_64.whl
| Download URL | z3_solver-4.11.2.0-py2.py3-none-macosx_10_16_x86_64.whl |
|---|---|
| Size | 29.1 MB |
| Tags | Python 2 Python 3 macOS 10.16+ x86-64 |
|
SHA-256 checksum How to use checksums |
90b34ffbd42ee9465ca047bfb99775c1000f6548f2b98bdeb7d52397347aa197
|
|
BLAKE2b-256 checksum How to use checksums |
b3d0ae041878281ab2bf73b6ef04707432b156fff5379ce395211600b68466a9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.1 CPython/3.8.10
|
