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.17.0.tar.gz
(4.5 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.8.17.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 72284c94b5310724c38202776873788e46213237aecbe2882bad61b4c9739826 |
|
MD5 | 14cbf54be8a6406ad18b65108194c44d |
|
BLAKE2b-256 | 3c3a4fbac52d555eadaabb9bded9cf90439ff5781923f691f33c6a1294a73050 |
Close
Hashes for z3_solver-4.8.17.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f1b2a10befac07b44bc4388b7ac9a01d72b82c6c424bc9607b4b13c3616d90f4 |
|
MD5 | aa7ee28f936a50865f40559ebd466ce2 |
|
BLAKE2b-256 | 1ae835b2a72d604695866e90d328b7049b6e89f9071bf24a137ead4eae2ad274 |
Close
Hashes for z3_solver-4.8.17.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 00efe464e61fdcdb1d1b7821269ff2449817ae1a5f3a4cb9b47640a82f109eb2 |
|
MD5 | c8f5a2374cc09dc286257b8120ee201a |
|
BLAKE2b-256 | cbc6636288f25762e8ba5ba5d20c688a0c96089fc220655727bbeed552383950 |
Close
Hashes for z3_solver-4.8.17.0-py2.py3-none-macosx_10_16_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | db526f27c1dce8c3c1f0b4eaebae0e9f3ab9bc0940578af8f9923c1fc22aa6e0 |
|
MD5 | e0758d290239511c577237423646fce0 |
|
BLAKE2b-256 | a6c5b60a05f5a301fd3c5b435cbc14d3aa04b8ede2733578abce052585821de1 |