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
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.9.0.0.tar.gz
(4.7 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.9.0.0-py2.py3-none-win_amd64.whl
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 16a2dc42d77d104a6b3cf156f1f981b1b2a98700243803788b75c4eaf9f20047 |
|
| MD5 | 86a38a283aa47789f32700c96074ab3a |
|
| BLAKE2-256 | 0c56b38232edcb8637f14a16072e1baa315a3f88bcac8b7bd41d52d8ec644bbc |
Close
Hashes for z3_solver-4.9.0.0-py2.py3-none-win32.whl
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 7690b1f744c2da083baf4dac91450f8d4c029b9f24f1d1081b60488be6bef4e8 |
|
| MD5 | a3b4302774b319be634803696d415cd9 |
|
| BLAKE2-256 | c2a7fdf576ef49a77469cd6656169ae040a25bb4f6f853adc3db39b9fba602b5 |
Close
Hashes for z3_solver-4.9.0.0-py2.py3-none-manylinux1_x86_64.whl
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | c1d5e63e434a02b27f135702f2e5a469724ee4a7c0ec739bde8f5de35721f6cb |
|
| MD5 | 7381de40fabba85142aa2adb44a5c4b8 |
|
| BLAKE2-256 | ac561968dbf673f97049fa744ecc71b80d7a48d0a8ab42101202d22832b96d58 |
Close
Hashes for z3_solver-4.9.0.0-py2.py3-none-macosx_11_0_arm64.whl
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 80aff67512e90aeca2f24525493ecce332c1bb8af3ff9e8e0e41554db61d6208 |
|
| MD5 | cee7d217a18ad40324f85872b9c3bbdc |
|
| BLAKE2-256 | 24f6313a924da38d5103dfd818babf0d5361db0ffa5aa8f1cd217f61c4f5cb1f |
Close
Hashes for z3_solver-4.9.0.0-py2.py3-none-macosx_10_16_x86_64.whl
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 2c65283890be1f139f19d38412c642f3c5ee0386613510753515de7ff3302851 |
|
| MD5 | 372147f6694673d1ce7b26ddf0a613a3 |
|
| BLAKE2-256 | 8ec27e79ba375be6588d4be07b44c468ac514933867111eec852766f5a96409f |