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
5 maintainers
Release files for z3-solver 4.8.7.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.8.7.0.tar.gz | 4.2 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| z3_solver-4.8.7.0-py2.py3-none-win_amd64.whl | Python 3, Python 2 | none | Windows x86-64 | Details |
| z3_solver-4.8.7.0-py2.py3-none-win32.whl | Python 3, Python 2 | none | Windows x86-32 | Details |
| z3_solver-4.8.7.0-py2.py3-none-manylinux1_x86_64.whl | Python 2, Python 3 | none | Linux glibc 2.5+ x86-64 | Details |
Total release size: 65.6 MB
Release files / z3-solver-4.8.7.0.tar.gz
| Download URL | z3-solver-4.8.7.0.tar.gz |
|---|---|
| Size | 4.2 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
a9bf7b9fab66ca652675bf8d4b67d1a9301a017d1eebe118d05bf7200541b62c
|
|
BLAKE2b-256 checksum How to use checksums |
a2e556a03507ba31f4c1ce63ec34d122d58f2be7bd216e462b6abf2c44e53b07
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/1.15.0 pkginfo/1.5.0.1 requests/2.22.0 setuptools/41.6.0 requests-toolbelt/0.9.1 tqdm/4.38.0 CPython/2.7.12
|
Release files / z3_solver-4.8.7.0-py2.py3-none-win_amd64.whl
| Download URL | z3_solver-4.8.7.0-py2.py3-none-win_amd64.whl |
|---|---|
| Size | 22.6 MB |
| Tags | Python 2 Python 3 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
7e04e1b56a100f4fef79c2f20be0aeb6dac4efc6ab66ba5bac41dbe6820cbd7e
|
|
BLAKE2b-256 checksum How to use checksums |
b19525a5023d32e87f0c7e19ed38bfbd0df7c07bb87e1ef7f55d91425f53be5a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/1.15.0 pkginfo/1.5.0.1 requests/2.22.0 setuptools/41.6.0 requests-toolbelt/0.9.1 tqdm/4.38.0 CPython/2.7.12
|
Release files / z3_solver-4.8.7.0-py2.py3-none-win32.whl
| Download URL | z3_solver-4.8.7.0-py2.py3-none-win32.whl |
|---|---|
| Size | 19.4 MB |
| Tags | Python 2 Python 3 Windows x86-32 |
|
SHA-256 checksum How to use checksums |
922158453b235ad6c3d45d9c8ed2b427c65d077d65ddcef3cc65f6a4ac7696ac
|
|
BLAKE2b-256 checksum How to use checksums |
0df177cc1b58c634f77773b5f30582632a856a820b38f1fb3642e6711cb229bd
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/1.15.0 pkginfo/1.5.0.1 requests/2.22.0 setuptools/41.6.0 requests-toolbelt/0.9.1 tqdm/4.38.0 CPython/2.7.12
|
Release files / z3_solver-4.8.7.0-py2.py3-none-manylinux1_x86_64.whl
| Download URL | z3_solver-4.8.7.0-py2.py3-none-manylinux1_x86_64.whl |
|---|---|
| Size | 19.3 MB |
| Tags | Linux glibc 2.5+ x86-64 Python 2 Python 3 |
|
SHA-256 checksum How to use checksums |
ecdf7cb3df9661bdc8953a552a7c09e1c0b7f4195e5eeeab8ff90f672490bf3f
|
|
BLAKE2b-256 checksum How to use checksums |
a3753a1d4c044082baf017e08df32c39974ec34fcfa068b6a7b0cd4bfbf1ccfb
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/1.15.0 pkginfo/1.5.0.1 requests/2.22.0 setuptools/41.6.0 requests-toolbelt/0.9.1 tqdm/4.38.0 CPython/2.7.12
|
