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
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.
| Filename, size | File type | Python version | Upload date | Hashes |
|---|---|---|---|---|
| Filename, size z3_solver-4.8.8.0-py2.py3-none-macosx_10_14_x86_64.whl (18.1 MB) | File type Wheel | Python version py2.py3 | Upload date | Hashes View |
| Filename, size z3_solver-4.8.8.0-py2.py3-none-manylinux1_x86_64.whl (29.6 MB) | File type Wheel | Python version py2.py3 | Upload date | Hashes View |
| Filename, size z3_solver-4.8.8.0-py2.py3-none-win32.whl (29.5 MB) | File type Wheel | Python version py2.py3 | Upload date | Hashes View |
| Filename, size z3_solver-4.8.8.0-py2.py3-none-win_amd64.whl (32.9 MB) | File type Wheel | Python version py2.py3 | Upload date | Hashes View |
| Filename, size z3-solver-4.8.8.0.tar.gz (4.4 MB) | File type Source | Python version None | Upload date | Hashes View |
Close
Hashes for z3_solver-4.8.8.0-py2.py3-none-macosx_10_14_x86_64.whl
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | c25bb31aa8d6de7f27701b0fe56c99433304e0c33fed43bcbfbf34d641fbe9c5 |
|
| MD5 | ac6f99a22caacebf6bdfdced3488a869 |
|
| BLAKE2-256 | 409f6ba0bb38709cf16dc13e877ef6ea8a59147478e4f036a0d60475b7997b3d |
Close
Hashes for z3_solver-4.8.8.0-py2.py3-none-manylinux1_x86_64.whl
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 605da13b9699d8472284833578281be0650f6f2ca194efe2cde78f2a44710e40 |
|
| MD5 | 3dae6d55f362d92036fe2d50c2d966f6 |
|
| BLAKE2-256 | d9c896c9a89e4f5e101404ac19a1da17eed972f27d22a8a0ec3e441234eb513f |
Close
Hashes for z3_solver-4.8.8.0-py2.py3-none-win32.whl
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | e8658f5cafa2c7e8239c5b9d80fa39ee0137d876fd084000c0f1cb76256df989 |
|
| MD5 | 228f987f5e19fa41226a0fb3e1d89efc |
|
| BLAKE2-256 | c62c79cf97c941042f663c6bf69d89ddd4c6bb50d3ce0c921b2fdfbfb1dd5124 |
Close
Hashes for z3_solver-4.8.8.0-py2.py3-none-win_amd64.whl
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 3f19c15d8f8f16ef1a257d1a58a0f0d6d3f2f652a9d3b48f507045bd336f97a8 |
|
| MD5 | 1ad62f309c72134bb5472eb8acbb1a3d |
|
| BLAKE2-256 | 5aae3af5306495eabf37a6af496a3e7e01a9e7be624e8e1b243f7b0b034e9d3b |
