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.10.0.tar.gz
(4.6 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.8.10.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a0bbbc1a02b25db3b824ab5e839b2c0b0cc2130da914f3ba09b7b38d05e1827c |
|
MD5 | 8d6764d0981262edda590d7cc94b5568 |
|
BLAKE2b-256 | 0701948bdd8fccbc4a3b01b8470ca1bc8e1768a16dc94d0dac2f678243cdfa1a |
Close
Hashes for z3_solver-4.8.10.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6fb188b34847a958e82efbe1a7a354675b2929145c6dcb45a1256aaeb9c49414 |
|
MD5 | 1a7d9545bf5bbccca3a7e46b66e963bf |
|
BLAKE2b-256 | 9a40adba09dfda3f05d244933f344ecbcc5c78a80b5eac4c23e96420c4277cfa |
Close
Hashes for z3_solver-4.8.10.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1dd6b459d512a5644b38a0d55c915cdb3269b6d52b36ea14d9b32ce1d1a85d9a |
|
MD5 | 97da0cdb1957c3217120a8284fef6d99 |
|
BLAKE2b-256 | faefd972d512ac4fb56d7fb4b93dfc4dc16450b68328e359b67edd70c77f8e9b |
Close
Hashes for z3_solver-4.8.10.0-py2.py3-none-macosx_10_15_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | dca0a50817d25ebd021ddc55cdebb1bb359f8424266d2384935ded330890893a |
|
MD5 | 5d9334d90bda804960cf0ed674794e0f |
|
BLAKE2b-256 | 093c178815b0a212e568129368db85856503c21d8916e935d118685d82f9be85 |