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.8.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.8.0.tar.gz | 4.4 MB | Details |
Built distributions (wheels)
| File | Reset | |||
|---|---|---|---|---|
| z3_solver-4.8.8.0-py2.py3-none-win_amd64.whl | Python 3, Python 2 | none | Windows x86-64 | Details |
| z3_solver-4.8.8.0-py2.py3-none-win32.whl | Python 2, Python 3 | none | Windows x86-32 | Details |
| z3_solver-4.8.8.0-py2.py3-none-manylinux1_x86_64.whl | Python 2, Python 3 | none | Linux glibc 2.5+ x86-64 | Details |
| z3_solver-4.8.8.0-py2.py3-none-macosx_10_14_x86_64.whl | Python 2, Python 3 | none | macOS 10.14+ x86-64 | Details |
Total release size: 114.6 MB
Release files / z3-solver-4.8.8.0.tar.gz
| Download URL | z3-solver-4.8.8.0.tar.gz |
|---|---|
| Size | 4.4 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
94d994466db9fda7c04630124aac3bb7f0f60328346d982afd3b017e8defba0f
|
|
BLAKE2b-256 checksum How to use checksums |
cd784e1d0e2badfa2153088db1f410bb84e3c49e56637bf96fa86b45454351c4
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is 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
|
Release files / z3_solver-4.8.8.0-py2.py3-none-win_amd64.whl
| Download URL | z3_solver-4.8.8.0-py2.py3-none-win_amd64.whl |
|---|---|
| Size | 32.9 MB |
| Tags | Python 2 Python 3 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
3f19c15d8f8f16ef1a257d1a58a0f0d6d3f2f652a9d3b48f507045bd336f97a8
|
|
BLAKE2b-256 checksum How to use checksums |
5aae3af5306495eabf37a6af496a3e7e01a9e7be624e8e1b243f7b0b034e9d3b
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is 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
|
Release files / z3_solver-4.8.8.0-py2.py3-none-win32.whl
| Download URL | z3_solver-4.8.8.0-py2.py3-none-win32.whl |
|---|---|
| Size | 29.5 MB |
| Tags | Python 2 Python 3 Windows x86-32 |
|
SHA-256 checksum How to use checksums |
e8658f5cafa2c7e8239c5b9d80fa39ee0137d876fd084000c0f1cb76256df989
|
|
BLAKE2b-256 checksum How to use checksums |
c62c79cf97c941042f663c6bf69d89ddd4c6bb50d3ce0c921b2fdfbfb1dd5124
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is 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
|
Release files / z3_solver-4.8.8.0-py2.py3-none-manylinux1_x86_64.whl
| Download URL | z3_solver-4.8.8.0-py2.py3-none-manylinux1_x86_64.whl |
|---|---|
| Size | 29.6 MB |
| Tags | Linux glibc 2.5+ x86-64 Python 2 Python 3 |
|
SHA-256 checksum How to use checksums |
605da13b9699d8472284833578281be0650f6f2ca194efe2cde78f2a44710e40
|
|
BLAKE2b-256 checksum How to use checksums |
d9c896c9a89e4f5e101404ac19a1da17eed972f27d22a8a0ec3e441234eb513f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is 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
|
Release files / z3_solver-4.8.8.0-py2.py3-none-macosx_10_14_x86_64.whl
| Download URL | z3_solver-4.8.8.0-py2.py3-none-macosx_10_14_x86_64.whl |
|---|---|
| Size | 18.1 MB |
| Tags | Python 2 Python 3 macOS 10.14+ x86-64 |
|
SHA-256 checksum How to use checksums |
c25bb31aa8d6de7f27701b0fe56c99433304e0c33fed43bcbfbf34d641fbe9c5
|
|
BLAKE2b-256 checksum How to use checksums |
409f6ba0bb38709cf16dc13e877ef6ea8a59147478e4f036a0d60475b7997b3d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is 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
|
