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.2.0.tar.gz
(4.7 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.10.2.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ca3b3be7061f0d594d446ee03984fdc1befb73a8fc802e48b18e31a682940fa7 |
|
MD5 | 4a9824e2dbef2be0fe47d79e609b8bf9 |
|
BLAKE2b-256 | 95f0f1fcf28e8a830a2b4be1eb05a792df3582bc932a2a1431b99fed390d6331 |
Close
Hashes for z3_solver-4.10.2.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9e24f5a0bb71a8d46c41554f6d3ad9787e27459a22e064477dbcfa2a6c4ef54a |
|
MD5 | c12e8bd6ac60d7de65ad2e2e41e1cd34 |
|
BLAKE2b-256 | 97308181c4793d52afd3797ca30b627584094fc92d48ebd5f4fa3155435ae9fd |
Close
Hashes for z3_solver-4.10.2.0-py2.py3-none-manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 75805d9074463819962f04ebad71a9670b52df0e8ffbb10a7dcfeb98fe4b6724 |
|
MD5 | 11a9b53295efffd2eb902020a351f866 |
|
BLAKE2b-256 | 42b27e49a16bd02ed188375d3ffd50de9c4b77539ab90c91c56a1975c1d4d292 |
Close
Hashes for z3_solver-4.10.2.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d2b3dd443f5fe867b051a5745f56da34ec5364008e3d7d48aa091300af7d5349 |
|
MD5 | 65de91c026b2121d198a879924d3debd |
|
BLAKE2b-256 | 2cd5021f26443ed89a7e3cda6f17fbcc7d52d8a6341a1a95dd82f85a02866e2f |
Close
Hashes for z3_solver-4.10.2.0-py2.py3-none-macosx_11_0_arm64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5686cb33148db4a3dc7bbe3faec0fdb631c86512c69c6c4971c5d805f764c713 |
|
MD5 | 6f73df870ae6b153e3261361abdf77a5 |
|
BLAKE2b-256 | 52bd4f1506b90e8aea52d58eb2c4f715964cafb2d1b7fc291275e0146b953e13 |
Close
Hashes for z3_solver-4.10.2.0-py2.py3-none-macosx_10_16_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8c9e0b4df63e7008297d0cbd83655903cec3d0f8119d4b279fa80a2ae2dfcf0b |
|
MD5 | 1fdb24f84e5fa0602ab5c87168a2d8d6 |
|
BLAKE2b-256 | 24519dea37e9cb034de37144479f34f2f1af10c840f3c34fb14afcb7e96d9925 |