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.11.2.0.tar.gz
(4.7 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.11.2.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f763c6ad22a8455df46efa3755a75d5af5d40535a1e5ec5171c199cfda663e90 |
|
MD5 | b3867482c3e52f72efe88eda92580fbc |
|
BLAKE2b-256 | a4e7206fcb6c72fff22c8b157decd988da0cbc59503d23318382ac83b7ec591a |
Close
Hashes for z3_solver-4.11.2.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | e4d3302c4046d65d0c8b5601d9b085f219b0fa78e312d08a5b24c86bb1629d05 |
|
MD5 | d0c53a943511ddfc2e654b4b3f0ca4a4 |
|
BLAKE2b-256 | 92578e48654d743a98502c4c0e8996e4bbf18047e9f16e281ce028b27219aa5f |
Close
Hashes for z3_solver-4.11.2.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9b5a11370df7ac27394fc660c812b2c9aac26f21fadf11e2c51a19cb707c1795 |
|
MD5 | 79ec4b25da80b84d444f7af14be3bfa5 |
|
BLAKE2b-256 | 5035a2a55bc90bbaf444bcd00ee54f258dad367f58eeb8a0427f0ce066871003 |
Close
Hashes for z3_solver-4.11.2.0-py2.py3-none-macosx_11_0_arm64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2cb81dcc220292dfcff6b5937f5faebeba4d0db7d2cc690f43e6f619bda40c47 |
|
MD5 | 994c57665791a4b1c4a827ef6b0673e8 |
|
BLAKE2b-256 | b905eb0e140bde30c64ecfd44e6edba7129c0a19b6b0f529afcd30caa515e358 |
Close
Hashes for z3_solver-4.11.2.0-py2.py3-none-macosx_10_16_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 90b34ffbd42ee9465ca047bfb99775c1000f6548f2b98bdeb7d52397347aa197 |
|
MD5 | 8a884dfc14d9ee13ddb04b0b401e0aa3 |
|
BLAKE2b-256 | b3d0ae041878281ab2bf73b6ef04707432b156fff5379ce395211600b68466a9 |