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.12.2.0.tar.gz
(4.7 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.12.2.0-py2.py3-none-win_amd64.whl
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 553af6a989d8943d9a556c4f83ea54b2afc8b4fd58230e97fcc526dc3f97249a |
|
| MD5 | b445370e94395a166fb19b30c612204d |
|
| BLAKE2b-256 | d5b8e570d7c9dac543c4c59aa0d7fbc6c76d9faa49b5cd154e302d6ad66c68da |
Close
Hashes for z3_solver-4.12.2.0-py2.py3-none-win32.whl
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | ea1688e64aada67ec720e2f148c5c41fece2870c55a2901dda36f6b4bb9aec7e |
|
| MD5 | 5feb48b17c8f1e56775fbe3e2526c020 |
|
| BLAKE2b-256 | af75da156de3baaffda06ba25fc908980dc41e35a6a79daca3a83a5c18198c46 |
Close
Hashes for z3_solver-4.12.2.0-py2.py3-none-manylinux2014_x86_64.whl
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 03921d3021cb6e5dbeaeb94634132a5fbf5403748aa21774efac4047e633af1e |
|
| MD5 | a17f38bc01ab85ff99229c17581d8854 |
|
| BLAKE2b-256 | e788d3c19c563acc7ed815b12ac6f9f0861498d0a42a38e458489eb9c81896d9 |
Close
Hashes for z3_solver-4.12.2.0-py2.py3-none-macosx_11_0_arm64.whl
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | f605de84f87cff04de8339a6d007c80167606a4e6904d6ace8208b066f22f4be |
|
| MD5 | 4986a0de20827fbe2bb3346051ad3339 |
|
| BLAKE2b-256 | 64caa83ac2a37e52dfabfbeb04d11b484bc90d2d642a2b39125405ecb237b486 |
Close
Hashes for z3_solver-4.12.2.0-py2.py3-none-macosx_10_16_x86_64.whl
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 127b7c3fcadd61415320ef1b469c22464d3270d25a63c9eb5ee31a0859910826 |
|
| MD5 | ac5916bda3c80d222ab827e6944a3d93 |
|
| BLAKE2b-256 | 1ae0b0cd9a2ef1524a3da3ac64d79b91445bfdf5f3c0ee9ec4682992cf6f0256 |
