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.5.1.0.post1-py2-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 22428685e4580d9618293b46ce54b067e8d3cd94e231d3ef4a0a0d9bbacd80c2 |
|
MD5 | 2475e5b5a42929be69b2a7801fe4241f |
|
BLAKE2b-256 | cb80feb59907c7b9eb82c408ac5b176ab354f7af6860b27834470bb0193dd899 |
Close
Hashes for z3_solver-4.5.1.0.post1-py2-none-manylinux1_i686.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0c7cfc0d60750e68829bf3515fe33575b1a13d5060be1f6a6832f5561b311821 |
|
MD5 | 0808d59a3327c16618dd86bd368203bc |
|
BLAKE2b-256 | b131a1a2f764ee0c3b315a17442550cd78a7515875b5931a1a381b2f477b5097 |