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.10.0.0.tar.gz
(4.7 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.10.0.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2eb32a9ec18f8b1ceecce6fa8dd50c70670f8169e3cff565d9b4c1ba601630e6 |
|
MD5 | 5c33682829c1e252369ef549aedc6656 |
|
BLAKE2b-256 | 10a821ffecd0ba9a3b137b1bd3568206ae983b1e605056972bf4034db55acb0c |
Close
Hashes for z3_solver-4.10.0.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5d04fd23d6b53cd57c3f1756eb37b642074b41a74f8e9406833d404426d623c6 |
|
MD5 | 247d35054bdedde8f548f974e95e69f3 |
|
BLAKE2b-256 | 850d9d212b345a745160c1f01e79122a9a4927b91fa01064528118e80d7bfce1 |
Close
Hashes for z3_solver-4.10.0.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b3778a7376992e5f55889412308e69e1548d728f5b5c0fc4677acc4b2dfb9cc8 |
|
MD5 | 9564b57a47ce0115d8edfa9249659aa1 |
|
BLAKE2b-256 | 93ecfb691babf0822c28d38fe23cae8f96aeb25a43f9a5222ebbb51fe6ca8672 |
Close
Hashes for z3_solver-4.10.0.0-py2.py3-none-macosx_11_0_arm64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | fa18a10b12c553c33967dfac8dd0f0f236129c3925b8e1502a5622e32791b516 |
|
MD5 | a8f36e654879f626e795851d5fbd6802 |
|
BLAKE2b-256 | dbf3d3ce1ce2e64067431a3766596b2507e01df97caeead53663cfdcd0cbfa08 |
Close
Hashes for z3_solver-4.10.0.0-py2.py3-none-macosx_10_16_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9c6a891f7d238429def174567fa0f02a9283ed0379d91e2d5ed6a925dabd523f |
|
MD5 | 6c5e29133396f7ed332f08b3da77539b |
|
BLAKE2b-256 | d253927eb37f1bd04a37448479193ff87f829a0fe650e1ddf189be9f4dbf0ade |