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.11.0.0.tar.gz
(4.7 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.11.0.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3f7b6d642b81a1535bca8ae0ab8bf948176b62b714f7abbb635246fab67d2c21 |
|
MD5 | 0fe2226d8510f16631ffe9a4a3153e7b |
|
BLAKE2b-256 | a8ac4f22f53ca15e32f86f31672469cdb8337e15a9f673b217a883d224e56b13 |
Close
Hashes for z3_solver-4.11.0.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d428d6592960aea0e99fb4b9dd5479ea8395a6a48e0178030304e72f5fb83c3e |
|
MD5 | e63dd234100f9d141569336004ff8134 |
|
BLAKE2b-256 | 4ed8dfa724413094e4c0d39b943c01692d891c8f73215d9a2d9d0e407b6f1bef |
Close
Hashes for z3_solver-4.11.0.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6976e6bee285b0366494b30e92e5d4b2649aaf73a3e9022d7069bdbae6d1576f |
|
MD5 | 3b3fc35789e02265db16dc54c4421c3b |
|
BLAKE2b-256 | c421e037402e5260ee6a968622e146deaff033c3f0ae289dc16adbca268b5516 |
Close
Hashes for z3_solver-4.11.0.0-py2.py3-none-macosx_11_0_arm64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | eed53801cdf454595d7d5dd13ab984df849215f41f2656d85925cc1f545ba26f |
|
MD5 | 0ce9aaf64e3c5d48bd0cf52a4ab89422 |
|
BLAKE2b-256 | 5287573ce66b09220682909e2dd123573c42e188c2b7d6f0ca64695f8da04149 |
Close
Hashes for z3_solver-4.11.0.0-py2.py3-none-macosx_10_16_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 101e9056eb6dadfe6f058693bc2b461d464dcf977b9b30fa2c634b63d6bbf16f |
|
MD5 | 6b5a51fcc11bc6c6bf0a5f15eca414d2 |
|
BLAKE2b-256 | cf8b0c50df8bb3efefc6236c788191f1a24becdd2647461462690c735374a8eb |