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/z3prover/z3.git
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.15.0.tar.gz
(4.5 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.8.15.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3a7918ff81d3af833cfda07925e6b14b9c851e2794cf69fc7353baaf5ae3e031 |
|
MD5 | 28a6db36fafbbaa4b221e614ac8d4e25 |
|
BLAKE2b-256 | a7ce3b69fa873089ff224b41b0f2d2f8fb96f36f5765844b7f066942a7e893c3 |
Close
Hashes for z3_solver-4.8.15.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9916cc09dbae7e3d69b1fe2ce193a3e8ac17172795b56a11456c9452239792c6 |
|
MD5 | e578eb26291250d0abcad29861d4217a |
|
BLAKE2b-256 | 8e3c53e91dc78d2189b2742ebb82e402a205dd57a9bdff7444191ef09ff80a98 |
Close
Hashes for z3_solver-4.8.15.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | e743cf7e4f553a56fb26851555d1a5f1cbbadffcce2fa812f7cc997814cbdfc0 |
|
MD5 | a1d428a558130b626c611a078aa78051 |
|
BLAKE2b-256 | cde289f80b7bb8af76d3f7dda3cc2daf9ffbea6da4c94c14e5c57e329dc2588a |
Close
Hashes for z3_solver-4.8.15.0-py2.py3-none-macosx_10_16_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f260b46db33a11d09d2a4bc720f418ca8059b9b59a392cc9e0d985e3dd4dc821 |
|
MD5 | 46c86c8bb3ac1a431a33e5b939933e26 |
|
BLAKE2b-256 | 8e9dda7999fa50c960a2498190d55f4a27970d861f8c2ad9112c4a2169bc5236 |