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.5.0.tar.gz
(4.8 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.12.5.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d8ac257b5dc20e783a89525549c252dfc27e20b4287a4bd7b463d0a4ea61bb0c |
|
MD5 | 6a8a525b6338f072a254b5613a4cbfc9 |
|
BLAKE2b-256 | 6651f6463ada714a01cf2a6c380422b9c1fc67238c422c5f10f992a1e488ad47 |
Close
Hashes for z3_solver-4.12.5.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 89280eefe03cffdbdb47758425d0e09a6d4c4097d4f2ab4a5879ba4c16677905 |
|
MD5 | b351f15d4a44876c18ceb584c57bd1e2 |
|
BLAKE2b-256 | 33f074b0f0b70b434e96b35aca232eaa2a0f149862dcc053219599c1e4671101 |
Close
Hashes for z3_solver-4.12.5.0-py2.py3-none-manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | bdfdd93539e0efeec8c29a5ad6e957e68619898a36e05821ec540f0ea38f9d41 |
|
MD5 | d4c00c6b4476db838b4b925aead10741 |
|
BLAKE2b-256 | 82c84b1f4c5615f6ab29d2d54f8fd34051b36819c547967349c39f272b1e0683 |
Close
Hashes for z3_solver-4.12.5.0-py2.py3-none-macosx_11_0_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f976bf542c9c0f2388004f16ddad60666ad343bc1667e0628ea20fd837f97ab9 |
|
MD5 | bdcf9555e61faef66cb69a4b864e7315 |
|
BLAKE2b-256 | 29e26f3a4bbe06787244e3fb0b70b457b91b1bdc669355e3de845a83f4b56e49 |
Close
Hashes for z3_solver-4.12.5.0-py2.py3-none-macosx_11_0_arm64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 489ce1ee69d89b83bd0902b5be089460f8f682bb92632ef24c85fe7214ed1c9a |
|
MD5 | e6b9dedddcab440b029405b0d55df83a |
|
BLAKE2b-256 | 71a7b4a7667e795a6f53a970e15e4ddfad589d63886c89a20bd47ee1dbd1ff69 |