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
Built Distributions
Close
Hashes for z3_solver-4.8.0.0.post1-py2.py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 24ec5a60b07abbc594d7bed0bd186942b862518caa8b40361e3207700ddfa323 |
|
MD5 | e592a38c6f1697c794e3bfffadde3933 |
|
BLAKE2b-256 | df3ac31287d0520bd288cccd336618fae9271b3c4ac22efb360eaa0c533f5db5 |
Close
Hashes for z3_solver-4.8.0.0.post1-py2.py3-none-manylinux1_i686.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a28e4a7051592bfd9c617c7357962a2f5f58caff44eda8ab080ff69db10a6ca7 |
|
MD5 | b9d3f92f3b02afdc3701ec4b5a7aa06c |
|
BLAKE2b-256 | 51895cc526a806e6c33b40f7ed88aa4d1b5dc4774bd9857379e671b52e53f3cd |