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.14.0.tar.gz
(4.5 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.8.14.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 48f59fad7ed63b172c51ed74137307898a6b7dbc8a5074c0653f4914fe1ebe5f |
|
MD5 | c1cd489d95558a2a3d5bc18b35aa9203 |
|
BLAKE2b-256 | 995a6b20a8c12b2864f2d7157a46a7420e97fd4dda7eeb763a65055df1cdc9b0 |
Close
Hashes for z3_solver-4.8.14.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f22e306e694d3bd749f17f9518c7c38013c89c89800ace31f9c412d0b1fd30c7 |
|
MD5 | d366c54fbf7303a59899bb9a1221eead |
|
BLAKE2b-256 | a908547d3c810a85942d27d1c8fbba707d088f9ac630c534538bdf8d626bac09 |
Close
Hashes for z3_solver-4.8.14.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 363f16be972b7b4e498d837840e26165639c180c4b77a9f8c6b1ba90a338cce2 |
|
MD5 | e4b231c2be8c3d0b3c9dade86f8fc62d |
|
BLAKE2b-256 | 244eeebed0c480ea383e9229a73c8e5b24f8b06398cb0f4805b3e7ed54ee34fd |
Close
Hashes for z3_solver-4.8.14.0-py2.py3-none-macosx_10_16_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 042773b85b6fc8e5144f4c8ad7d23f1461086fcfdaf0029bc55f1f7d12ae9617 |
|
MD5 | ebfeaf481563c535d97e8bf733554bee |
|
BLAKE2b-256 | 1107ea6643344c63a995750090a51a5954c0481edcbff92b43fcc7fd68c65738 |