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.16.0.tar.gz
(4.5 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.8.16.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f0d5aecda8c4beb456aed7bffc0f7428c394260508622e5e50ace7e03139f61b |
|
MD5 | 7fbd96444ad002104c182fab3fa92b61 |
|
BLAKE2b-256 | 3c77447fc045fd227a714284a575961a197cc0a9226b85a8d991dfe09453e209 |
Close
Hashes for z3_solver-4.8.16.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ced3ff653407350f8c00a9aa0365ba31a2243d99cf114e9a920e86207177cd39 |
|
MD5 | 3d78d29e38bf3fa0e91d4e538c5eb5c5 |
|
BLAKE2b-256 | 1641c5a6b73499abe1b5b477d70556bda5b5c3b2dc27a88d28ee71e80743026f |
Close
Hashes for z3_solver-4.8.16.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 34ca1e605f752b6aa8a003af3d8679d045f0dfbb5d3ddde26cb01256c0ad5246 |
|
MD5 | 605b4ef6db1b40a0d3bd70a9c4d156c3 |
|
BLAKE2b-256 | c314134d3ce1082d624e2301e0794f8734a103129fc7092d4d1b0f720b256e09 |
Close
Hashes for z3_solver-4.8.16.0-py2.py3-none-macosx_10_16_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0e6ebe511bf2ae51da6aa7b69f1588760255339495cf99f1f9959815b1cfc5b7 |
|
MD5 | b8ca7c7fa25a498764dff22da07a16f0 |
|
BLAKE2b-256 | 2f944ba534b60e24a284e475e3ce59412f3dc47dbc9d06f90e6378d38fdc7bbf |