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.1.0.tar.gz
(4.8 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.12.1.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | aa0e06d42070774a2f89818c412514d41fc84578f32d617de618b214e5ed8154 |
|
MD5 | 1226106b4df613a9e0021b3fdcccb8cd |
|
BLAKE2b-256 | 74d6c9bb5625ad33255d63475cf1d9a240da5db67ae5eec9ee9d08beaba906a3 |
Close
Hashes for z3_solver-4.12.1.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 85ff9f59b0f87df4dc0cd52baebb247b8049f2df6aad623151f4c4a21d3d01ac |
|
MD5 | 6ddf7939345ff9b2a82ecca9a44cb92e |
|
BLAKE2b-256 | 87f620e1fcd26f793fb16efeecfe2d71ff9526e93a803d56ae7df33982d39405 |
Close
Hashes for z3_solver-4.12.1.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 41cb9ac460af30b193811eebf919d61cf51a8856bbd74b200cbe6b21e3e955e4 |
|
MD5 | 1cf48fad3edf8c567c23a3dad456af06 |
|
BLAKE2b-256 | 0353265b4b11a3699f5ec23a87609a60fd10bb465221690daf271b07367cce87 |
Close
Hashes for z3_solver-4.12.1.0-py2.py3-none-macosx_11_0_arm64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 553ec3cd0188420bc5f007dd873fb0d87075d1b93808eca8c02324eb3a5f6f68 |
|
MD5 | 8bc241116826d87af55d8036c20a19d4 |
|
BLAKE2b-256 | 5cbf6b2c0835f3a46e1330f677ddb072bac026cd1f452a54841100043038a385 |
Close
Hashes for z3_solver-4.12.1.0-py2.py3-none-macosx_10_16_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c4f1a53bce12b45698e8e49bd980cd3d3f0298c1ba4cf8c40525af86797565c8 |
|
MD5 | 4271d6383cc98c58d57e25be36889648 |
|
BLAKE2b-256 | 3ebbee5de50e182972d02f61589b17a79c5647698cfb7500cd9bc8d1be7d0e75 |