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.12.3.0.tar.gz
(4.8 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.12.3.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5d5ce27b01f6b579d5d08adf2db9d869a744c53485d19b33b5f018bb75aa7059 |
|
MD5 | 5e796382fb35e29fc278838f6dedda6c |
|
BLAKE2b-256 | b46b2b4904cddcf7d9548ca2c85f1ca96aebe74f76a362ef85c8ff61335e9a96 |
Close
Hashes for z3_solver-4.12.3.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a54c6cae758fd04070571fa4cfccf5f34dbae56ed0d361571a005ee5ff4b7af9 |
|
MD5 | 400db58afe5556aa78947d41b2ab2535 |
|
BLAKE2b-256 | 1beaccb93b93853945c8afcea39e46eb514bdd620912caa8ed1c85e4fcf056d1 |
Close
Hashes for z3_solver-4.12.3.0-py2.py3-none-manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ce6d387d609fb640fea38a6e5010212682e76be3e414ebe81b12b4e5a43cf97d |
|
MD5 | 460008acdf6b39820375ea5865ef397b |
|
BLAKE2b-256 | d2c78436fb8f2550657b2c5189f702cd80bdf327b1c85f511635854757dd28df |
Close
Hashes for z3_solver-4.12.3.0-py2.py3-none-macosx_11_7_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | afa4febf1176c07762b6bae74f8c35e1266bb10f7b2ce427bd230b3c124b971b |
|
MD5 | 9fa601c34dd072d1cd40f001586d3918 |
|
BLAKE2b-256 | dcd46f18dea38c5f272c8f18204b3a6a15565d9430eeccb16888b9c834693893 |
Close
Hashes for z3_solver-4.12.3.0-py2.py3-none-macosx_11_0_arm64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f31450028c5ed7f337d4fe8a3f5918e6c52fc645f01ac9516668077385fd0237 |
|
MD5 | 9ff7883cfdcfb025dfb36c6b94eba202 |
|
BLAKE2b-256 | a45bffa132d02b4483ae31eaa10d1df5c423c8df714e2bc5935a9f66fc2efa28 |