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.7.0.tar.gz
(4.2 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.8.7.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 7e04e1b56a100f4fef79c2f20be0aeb6dac4efc6ab66ba5bac41dbe6820cbd7e |
|
MD5 | c636f5c86b14de1ba34986bef594135c |
|
BLAKE2b-256 | b19525a5023d32e87f0c7e19ed38bfbd0df7c07bb87e1ef7f55d91425f53be5a |
Close
Hashes for z3_solver-4.8.7.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 922158453b235ad6c3d45d9c8ed2b427c65d077d65ddcef3cc65f6a4ac7696ac |
|
MD5 | ea4fba262c4f866e3d896e37f1d1cadf |
|
BLAKE2b-256 | 0df177cc1b58c634f77773b5f30582632a856a820b38f1fb3642e6711cb229bd |
Close
Hashes for z3_solver-4.8.7.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ecdf7cb3df9661bdc8953a552a7c09e1c0b7f4195e5eeeab8ff90f672490bf3f |
|
MD5 | 96bbb4cadd3c67feb36a08bc2c254fe1 |
|
BLAKE2b-256 | a3753a1d4c044082baf017e08df32c39974ec34fcfa068b6a7b0cd4bfbf1ccfb |