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.9.1.0.tar.gz
(4.7 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.9.1.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 839316993360b60159098fc9e223eeb2c8b2396e94a17aefa1958bf94f2e880b |
|
MD5 | 4dae578dfe5f90051be24ffba15e643a |
|
BLAKE2b-256 | 58d87d3a62731178a5eef5e39b2fab65b703c5f3cde1f75a4567b5e78a7920a9 |
Close
Hashes for z3_solver-4.9.1.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 03179ecf5037c07f9d0d914c4fe933564ad48f44090eb668766a9463d04f5dd8 |
|
MD5 | 5b94304d0fb8d7f6e42235d9e544e8ef |
|
BLAKE2b-256 | 489d1a0f8dd94e410331b6f46d6a74aca9a9b36df1e13d94323588b57da7cc94 |
Close
Hashes for z3_solver-4.9.1.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | fa5afb6840dca03881ce74abdc83b4ebc5722360d42f144c1b269d9f5a7b2efb |
|
MD5 | 409c344bd34db395f968e4fa0bc53b8c |
|
BLAKE2b-256 | 418689498231f602bed0409dc76f36c0cdef32218bd6f02f4a6d31e747ce9114 |
Close
Hashes for z3_solver-4.9.1.0-py2.py3-none-macosx_11_0_arm64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3f7567856482aa7a529baf07811c095843180a3855d0500d39de7f049c40155e |
|
MD5 | 2e0d7e13f11da5306bb8eacc5da7f06c |
|
BLAKE2b-256 | 1cbadbe465b40fd3b792ebe077653ac8971c44eda53c2852c3cee72d1a28cd24 |
Close
Hashes for z3_solver-4.9.1.0-py2.py3-none-macosx_10_16_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 50cb962299d73bf0d5e5258ef62e72061bf2e5f7b6b32336629743039d5dcac0 |
|
MD5 | 6184d37e864631959e5825c0072e9dfe |
|
BLAKE2b-256 | ec25db70fa7e15c67e863221d88f6ce08436f14d24ce44f9dea6e4efccdf5b79 |