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.1.0.tar.gz
(4.7 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.11.1.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | fd52a0409cb2da015da67a91202a9a406ffd79d7d43bdb11962c63af51655f9b |
|
MD5 | a6a3164700028c2cc869c370a367d0cb |
|
BLAKE2b-256 | 2a234079e61eb2723c6df03f6ee7725fde02ccf1bd9fd8982a2c235c2074b68a |
Close
Hashes for z3_solver-4.11.1.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b42388c15baa5e759fcd33ae6078d034a17c10c1eb1890e79d98b47ede9e7dfa |
|
MD5 | ecf2130c944a66dc0578ff0b5f660ad9 |
|
BLAKE2b-256 | c9f26198e020d63fc1a5210bbd869ce0b93f7c4e0f949399c98a1c4eaf5d1410 |
Close
Hashes for z3_solver-4.11.1.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 986d87699fb9aba54af92f9068d307f817b0cb7c754ddc6c0bc3378ac19c7ac0 |
|
MD5 | 367b3e09185d5304dfe2326fd9ffb956 |
|
BLAKE2b-256 | e1976e343debc4fbba767e7481fb24d3ea6a346afec69acb991ee91ae9067fb1 |
Close
Hashes for z3_solver-4.11.1.0-py2.py3-none-macosx_11_0_arm64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | cd6fea36bb46bc318827af617c1448c0b5cab4df2c56677f374fad40199624f5 |
|
MD5 | 94d15098c14f283710ec17ad498a6bbf |
|
BLAKE2b-256 | 33a1da16b215ad0291c7c5fa4debfde3f13385c0a031527962c1f347403d0774 |
Close
Hashes for z3_solver-4.11.1.0-py2.py3-none-macosx_10_16_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 206932d1875c700b47ff49bc77c6e4099c4b4c2ee0d0ebcf80353a11d199364a |
|
MD5 | 092cf6024eb44b0e1f04d57e50ec0462 |
|
BLAKE2b-256 | a7ecdfc7426a3fb0decee7901253515038cdc92819a3f454faf4cf22a2e02630 |