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.12.0.0.tar.gz
(4.8 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.12.0.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 65e11318958a81236a6a89fcc0721ef7dcc7f570009430488c76c3e86d0baa19 |
|
MD5 | 9515931530eedcd8c42b669dbe8ada2d |
|
BLAKE2b-256 | ac152d0436b042e14f8e4f6472745e58fd2706484489f7ee24023fb43cd6c0ac |
Close
Hashes for z3_solver-4.12.0.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3899d7461194a67eb3205c347b3078f1994d6bd1e472f43adf73d7a3eaa7b0f4 |
|
MD5 | 4e282a3bce20efb792d71f562bc07f2e |
|
BLAKE2b-256 | d3a1950b764a34c1df3553870793e4f9abf3fa1984eb7ea66627814b0e6dd473 |
Close
Hashes for z3_solver-4.12.0.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 55d3cc3ece8c182202e4d11c4880bbf754185405def37de3feeb646d70016844 |
|
MD5 | 89e78f5829cb03b2db0ac6e36822c2d9 |
|
BLAKE2b-256 | 15469ec03c762bc510b421e287ca1c10b915d28f7b9fc1a72203510c3ca3fdff |
Close
Hashes for z3_solver-4.12.0.0-py2.py3-none-macosx_11_0_arm64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 05093668d9413886d579c1d333435772cc4801a0a7f60e0c2a3b57eb6a4c1171 |
|
MD5 | b437098cee31bf017026516f71d329d5 |
|
BLAKE2b-256 | be354db174cc49f841dc16c885cf48c49bfec847adeb935b4b6db6e2489c79b0 |
Close
Hashes for z3_solver-4.12.0.0-py2.py3-none-macosx_10_16_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c73c016c64256257c61727234a168c1fd722d9ce605aa7a0d1d1027b30c1efa2 |
|
MD5 | 2047d64fde5a22782196835b0c5fe164 |
|
BLAKE2b-256 | b73acc7220514af74a0c03b1d58fe4bd380bef771def7bd5966a4f8651909127 |