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.11.0.tar.gz
(4.4 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.8.11.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 73dee5813e034124db91c98e5c6015c629d23bf1bc0d49948a05ad9576d56046 |
|
MD5 | 2ffcd06c53bddd9266940ba3c5880f2a |
|
BLAKE2b-256 | fadd7f0eddd5c90c18403512b9d3e507bcb75c4db691291f1e1f3f5ba46fa91b |
Close
Hashes for z3_solver-4.8.11.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 30122f23d8572fb8a79a86906cbe29e9d801c718ea1a0ed5f444fbb9fe65142f |
|
MD5 | 5030d682d7f966d91cc272783d186ef7 |
|
BLAKE2b-256 | e531a4d793b0519df037f959980ed9a10ab1a04cd0a1e768daa9cc5465e99f22 |
Close
Hashes for z3_solver-4.8.11.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1a1d91ff3bf689b87377622f9f09ffba4d35f9381369d4c4e9c5b4968047830a |
|
MD5 | 1c10063378a7144482487d4b0f63cd3d |
|
BLAKE2b-256 | 0435f355c26853fe246ae58e6521296445cea0ef128ccbe4c6f39969d4bb6a18 |
Close
Hashes for z3_solver-4.8.11.0-py2.py3-none-macosx_10_15_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 85fcfe7dc5b1416c9f486cf383fdb0bfa0783b82b4a1527df7c5ffd24eb595bd |
|
MD5 | aa3ee6b9183ae069b7a782b32cbb7a34 |
|
BLAKE2b-256 | 670c9d9b7e2e61701780295c2c1be4c93d4d57c64f2f6f4f45984822eb3ef1b0 |