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, compiliation, or installation, please submit issues to https://github.com/angr/angr-z3
Project details
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.5.1.0.tar.gz
(3.7 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.5.1.0-py2-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3c1623cba735873e5e5ff78316a0e830782707be9929b4a76c65360a4a3dac7e |
|
MD5 | af917700c0e67022780a6cd734d890ca |
|
BLAKE2b-256 | 63d40099b59f054fecad8338fd666e7b75b252b9a546bdd2e7564018e8a97801 |
Close
Hashes for z3_solver-4.5.1.0-py2-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a365a09f9dcd5ada579a3de5e01ff0c0a6dddae0e06fb0cc9eb112309b090e98 |
|
MD5 | 35e4cad347313e68de5700d77accc23a |
|
BLAKE2b-256 | 8475bf4ee8f4cd2bc9236646076aa29b569552ff7703448a68a7f03c719c6c1b |
Close
Hashes for z3_solver-4.5.1.0-py2-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 7ec108df7f160923f5b14bb40baa2a686b1403c1711993bcd0e4d37355732fb7 |
|
MD5 | 8a2c6e45446dc12ae81e8658b7dc2715 |
|
BLAKE2b-256 | 68571c8f0f17045b45a78699aadf0fb2e0fe390cc8b27e591ef74f5221b8d566 |
Close
Hashes for z3_solver-4.5.1.0-py2-none-manylinux1_i686.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3c298be4fe91a11ae10155ba26f5ccfbe31123bc09b6b6428bbe540881d7e122 |
|
MD5 | daee48527b012163af116865ccd57ff0 |
|
BLAKE2b-256 | c2f7bf45195ad37494b3a863a9337df807656a58439715e4d37e1bbf43ff35a3 |