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.12.0.tar.gz
(4.4 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.8.12.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2b8af223174b8229ca334637022b56c8f7545c6c04021b63d98beb83e757819c |
|
MD5 | 915ff80f7f78a5445a654cb3be766c61 |
|
BLAKE2b-256 | 4824a5d90482f4e5eacadec5de5acf2dbfe41fe50c46a4b73a66cfaa7b3f9d5e |
Close
Hashes for z3_solver-4.8.12.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3efe49975945f4204ac13e1bd66555f4fab50906e476a927f4483ba9b61c38ef |
|
MD5 | d263c75c6f6e82d41bbcf3bceb2c75d8 |
|
BLAKE2b-256 | 060f9ff66f55446ca4587fa44af53be62aea479ddd6522a57e05fb139a539091 |
Close
Hashes for z3_solver-4.8.12.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ffdbb89bc30befcef9b5cfb118d690b452320dccd44a6ae2f7b81caa369de042 |
|
MD5 | 134bea24ed0fb35d912839a4d557d98f |
|
BLAKE2b-256 | 4c1d9e8006f425e1ac2b8eeb225f208721e82201db07ad173f31543697f8a544 |
Close
Hashes for z3_solver-4.8.12.0-py2.py3-none-macosx_10_15_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 04f81a3a8705e3adaa348b945fc4a2e2981e0a718315760e774b7c5b0efe2d3a |
|
MD5 | 164df7a501ed430177ac4ae9e6aef127 |
|
BLAKE2b-256 | 0db78f456bac1d87d91a6365832fb03e0e5d9b92d0442dc6f4bb01722ab9deca |