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.13.0.tar.gz
(4.5 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.8.13.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d0a07e5fbe2a9d4ef4cfab5ffd2d770f3f138a47a2942dceb9aa5438d53e4dd7 |
|
MD5 | a1f60e061bf3da94f99d2eb21318bf74 |
|
BLAKE2b-256 | 63d2f2839b07eb6455dab156f14fca669421e362e8cb66eccae6700d1e826222 |
Close
Hashes for z3_solver-4.8.13.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 52a84e8368cbcd92ced06bbbf350db1d280573923c69025f519b6cc26ab74bb7 |
|
MD5 | 487fcd80ae71ff76c3e51f8f07ba00ce |
|
BLAKE2b-256 | a9ad740e42db81e95850966a8cd4cd1c88a27defc99cea88cf5902e8c15b162b |
Close
Hashes for z3_solver-4.8.13.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 65c7004f3642da288f15fbba8397f763c6f56746e320a5636cb1f2308027f50c |
|
MD5 | 2969444f0b79cb065c3954409e6039cc |
|
BLAKE2b-256 | deabaee6b212e740a01c6dd1f47419777c72b76d2cd4fd956369e54cee853d20 |
Close
Hashes for z3_solver-4.8.13.0-py2.py3-none-macosx_10_16_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 058d9fac03aa4f6cd2be7c5fd578ea8ed7d49adb3ed844acba845e9623525881 |
|
MD5 | 4191fb624534b54676fa33f3f73f8c7c |
|
BLAKE2b-256 | ce98c0facd16cb348bbc96bb7c036dc434ea1b6498e6cd872f1dff758796535c |