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
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.8.5.0.tar.gz
(4.3 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.8.5.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 92b01ef0b852a5e8aa603cac65b95d02a2cc21fbbd0d4709d9612e8827d008be |
|
MD5 | 841607255b6ef3d2bfa60706af6b7cd8 |
|
BLAKE2b-256 | 2b60891a0ed729907891d1fcbea4ad9767ad1479f34181e830cee66bb1b82281 |
Close
Hashes for z3_solver-4.8.5.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ed6ad3e82ff96022e069eb67b24bbcb9fe743f0bd796b3402fb8d865ebac1ab2 |
|
MD5 | b786775a54500838b20909002a18f8aa |
|
BLAKE2b-256 | 32ae144284f7df92c740c225f73b2a664a31b16e714fae00e155b38ba70273b6 |
Close
Hashes for z3_solver-4.8.5.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6dada60c4166a00891eb69e9c49872b004a464269d82b9ce2ac2300572e77f8c |
|
MD5 | 9455c4c9153500e67c5ec7fb966d5ae7 |
|
BLAKE2b-256 | 73edfaeba7188a4316727d351e36bf0bb342335028308bcd168c8c740dfb2009 |
Close
Hashes for z3_solver-4.8.5.0-py2.py3-none-manylinux1_i686.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f24b3bb9cdc6891db337860aca51bc5d0f9492035955563f2ce27e9bbf59b366 |
|
MD5 | d82c624043fb37c03ffd4af5708e1342 |
|
BLAKE2b-256 | 42952b9919263e1e04115258cf424d2c88cb3c5e20d9d460d86a2b9a63fcfdd6 |