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
5 maintainers
Metadata
5 maintainers
Release files for z3-solver 4.12.0.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| z3-solver-4.12.0.0.tar.gz | 4.8 MB | Details |
Built distributions (wheels)
| File | Reset | |||
|---|---|---|---|---|
| z3_solver-4.12.0.0-py2.py3-none-win_amd64.whl | Python 3, Python 2 | none | Windows x86-64 | Details |
| z3_solver-4.12.0.0-py2.py3-none-win32.whl | Python 3, Python 2 | none | Windows x86-32 | Details |
| z3_solver-4.12.0.0-py2.py3-none-manylinux1_x86_64.whl | Python 3, Python 2 | none | Linux glibc 2.5+ x86-64 | Details |
| z3_solver-4.12.0.0-py2.py3-none-macosx_11_0_arm64.whl | Python 3, Python 2 | none | macOS 11.0+ ARM64 | Details |
| z3_solver-4.12.0.0-py2.py3-none-macosx_10_16_x86_64.whl | Python 3, Python 2 | none | macOS 10.16+ x86-64 | Details |
Total release size: 230.3 MB
Release files / z3-solver-4.12.0.0.tar.gz
| Download URL | z3-solver-4.12.0.0.tar.gz |
|---|---|
| Size | 4.8 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
13f4e5ebbc8478a12ef9c77de4fe595cfefca1370a64cb76d9d3639176b705e3
|
|
BLAKE2b-256 checksum How to use checksums |
417197d1ae8e6325457338009034d20155d05f874a66ebc20a934b2c97c2042a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.6
|
Release files / z3_solver-4.12.0.0-py2.py3-none-win_amd64.whl
| Download URL | z3_solver-4.12.0.0-py2.py3-none-win_amd64.whl |
|---|---|
| Size | 58.1 MB |
| Tags | Python 2 Python 3 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
65e11318958a81236a6a89fcc0721ef7dcc7f570009430488c76c3e86d0baa19
|
|
BLAKE2b-256 checksum How to use checksums |
ac152d0436b042e14f8e4f6472745e58fd2706484489f7ee24023fb43cd6c0ac
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.6
|
Release files / z3_solver-4.12.0.0-py2.py3-none-win32.whl
| Download URL | z3_solver-4.12.0.0-py2.py3-none-win32.whl |
|---|---|
| Size | 55.3 MB |
| Tags | Python 2 Python 3 Windows x86-32 |
|
SHA-256 checksum How to use checksums |
3899d7461194a67eb3205c347b3078f1994d6bd1e472f43adf73d7a3eaa7b0f4
|
|
BLAKE2b-256 checksum How to use checksums |
d3a1950b764a34c1df3553870793e4f9abf3fa1984eb7ea66627814b0e6dd473
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.6
|
Release files / z3_solver-4.12.0.0-py2.py3-none-manylinux1_x86_64.whl
| Download URL | z3_solver-4.12.0.0-py2.py3-none-manylinux1_x86_64.whl |
|---|---|
| Size | 56.0 MB |
| Tags | Linux glibc 2.5+ x86-64 Python 2 Python 3 |
|
SHA-256 checksum How to use checksums |
55d3cc3ece8c182202e4d11c4880bbf754185405def37de3feeb646d70016844
|
|
BLAKE2b-256 checksum How to use checksums |
15469ec03c762bc510b421e287ca1c10b915d28f7b9fc1a72203510c3ca3fdff
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.6
|
Release files / z3_solver-4.12.0.0-py2.py3-none-macosx_11_0_arm64.whl
| Download URL | z3_solver-4.12.0.0-py2.py3-none-macosx_11_0_arm64.whl |
|---|---|
| Size | 26.7 MB |
| Tags | Python 2 Python 3 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
05093668d9413886d579c1d333435772cc4801a0a7f60e0c2a3b57eb6a4c1171
|
|
BLAKE2b-256 checksum How to use checksums |
be354db174cc49f841dc16c885cf48c49bfec847adeb935b4b6db6e2489c79b0
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.6
|
Release files / z3_solver-4.12.0.0-py2.py3-none-macosx_10_16_x86_64.whl
| Download URL | z3_solver-4.12.0.0-py2.py3-none-macosx_10_16_x86_64.whl |
|---|---|
| Size | 29.4 MB |
| Tags | Python 2 Python 3 macOS 10.16+ x86-64 |
|
SHA-256 checksum How to use checksums |
c73c016c64256257c61727234a168c1fd722d9ce605aa7a0d1d1027b30c1efa2
|
|
BLAKE2b-256 checksum How to use checksums |
b73acc7220514af74a0c03b1d58fe4bd380bef771def7bd5966a4f8651909127
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.6
|
