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.1.0.tar.gz
(4.7 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.10.1.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 841b7de0418ac6b9104e183e3bf56661bab50364f4d213b08bcd8fd7594efbbc |
|
MD5 | ff7d7c28256d5aa32fe4a3bc3e0ee284 |
|
BLAKE2b-256 | 6607b9c2377c3c71f2dbb0657a731a35d986b3698532a779ee437c549aaec42c |
Close
Hashes for z3_solver-4.10.1.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c25c4fd2e18c9fda9de9c249440977d5198c870d2efb6d79a5cc31e679d62cd6 |
|
MD5 | 7c8d000b840f134a672598eb91643d68 |
|
BLAKE2b-256 | aea9d6c51606582809a60b00fe876ec0db96b7d83f67337c61d25934719e13d1 |
Close
Hashes for z3_solver-4.10.1.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b9c4d3e17c2737a50292dd876483d207b90ce68ce3201aa1829a5c042cccff0e |
|
MD5 | bdb5fbcbddfe90082db174bd2c11590f |
|
BLAKE2b-256 | bcbdc5125e9a574cbe3eaca0a0c0d43db997c65fbf91b2ba93c41a431a5ba4f5 |
Close
Hashes for z3_solver-4.10.1.0-py2.py3-none-macosx_11_0_arm64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2d69629123261702d2f38c900205f921ff1391f483b1c4a589986d54f35991a3 |
|
MD5 | 42ae83cd988129760511ee69f11e448a |
|
BLAKE2b-256 | 15b6aa933c4a8e6c6be87f0bacdb0327122e92f34387734c70f374d3474dd69f |
Close
Hashes for z3_solver-4.10.1.0-py2.py3-none-macosx_10_16_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 039f6d7e6f579e6d1ce59b1bae9a1e969587b7bfed1c7f9e59fe682bcc22751b |
|
MD5 | 4fe75e3f998e7d8afec4e566330a3a2e |
|
BLAKE2b-256 | 969dd0925f59154a8590b4f77504b81d659e26543a24525e22fcba3f008f85b4 |