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.6.0.tar.gz
(4.8 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.12.6.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 95a3725f43ec8cf2d4e7733327cdf2b9ff9caa09e0511e2b1a059000f211f605 |
|
MD5 | 8de63079c2ed93a70cb1dffa055d5b69 |
|
BLAKE2b-256 | 6b28b014879daffb5a588947ff1c3c0bc228c65bed6202c6a825250151d1a528 |
Close
Hashes for z3_solver-4.12.6.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d795fd1a25416f9164ba6be8750c66732d998c645234b6d7f1b801b7ba5f67d4 |
|
MD5 | 9650c2a9c8c8d01e7e936e4c4540b8ab |
|
BLAKE2b-256 | 0dbd097d479948b71b37369a0dbd90f4dfb05a51c02c4737d904db25167260d6 |
Close
Hashes for z3_solver-4.12.6.0-py2.py3-none-manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | dca097b9a3026a63019eba65fe7ad120dcccec847cc33a7c0e548cfe324680fc |
|
MD5 | 3dd6bdbfe8161955595cb3b522672490 |
|
BLAKE2b-256 | 2499ca3e00003887498be6c864603ad2cdb57396481d71774377934c9783a38a |
Close
Hashes for z3_solver-4.12.6.0-py2.py3-none-macosx_11_0_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 359d2af6dbcc017dadb99f286b39df101edf6ac9a45332ba15c0a2012ff46d45 |
|
MD5 | 4fb859258fc9edcc22c2c0de4575ac60 |
|
BLAKE2b-256 | 4702bd1a78832beb0eac459a189da64caafd1a34ecd2b4a74d32a4c9b9fafe9c |
Close
Hashes for z3_solver-4.12.6.0-py2.py3-none-macosx_11_0_arm64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9347c9c4f966c97c807f73b1b4365d11dbb25e390b3908b1c3a6e3bceff62e6d |
|
MD5 | f42c979ed96e7a1f9578d23b57f9d817 |
|
BLAKE2b-256 | ce0cb0074b9384753e841c1a7252ef44ee5444221eff2d7cb88b8957bdc2e57e |