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
Release files for z3-solver 4.9.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.9.0.0.tar.gz | 4.7 MB | Details |
Built distributions (wheels)
| File | Reset | |||
|---|---|---|---|---|
| z3_solver-4.9.0.0-py2.py3-none-win_amd64.whl | Python 2, Python 3 | none | Windows x86-64 | Details |
| z3_solver-4.9.0.0-py2.py3-none-win32.whl | Python 2, Python 3 | none | Windows x86-32 | Details |
| z3_solver-4.9.0.0-py2.py3-none-manylinux1_x86_64.whl | Python 2, Python 3 | none | Linux glibc 2.5+ x86-64 | Details |
| z3_solver-4.9.0.0-py2.py3-none-macosx_11_0_arm64.whl | Python 3, Python 2 | none | macOS 11.0+ ARM64 | Details |
| z3_solver-4.9.0.0-py2.py3-none-macosx_10_16_x86_64.whl | Python 2, Python 3 | none | macOS 10.16+ x86-64 | Details |
Total release size: 219.3 MB
Release files / z3-solver-4.9.0.0.tar.gz
| Download URL | z3-solver-4.9.0.0.tar.gz |
|---|---|
| Size | 4.7 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
df6e0b8c127595e57e9858832e5c0dcc9bb2c8db0b16df7ece5439b8586a8719
|
|
BLAKE2b-256 checksum How to use checksums |
0aaa78ae5a972762484594f5c091d426855749604a82b7bc3733cd5dc080cda1
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.1 CPython/3.8.10
|
Release files / z3_solver-4.9.0.0-py2.py3-none-win_amd64.whl
| Download URL | z3_solver-4.9.0.0-py2.py3-none-win_amd64.whl |
|---|---|
| Size | 55.2 MB |
| Tags | Python 2 Python 3 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
16a2dc42d77d104a6b3cf156f1f981b1b2a98700243803788b75c4eaf9f20047
|
|
BLAKE2b-256 checksum How to use checksums |
0c56b38232edcb8637f14a16072e1baa315a3f88bcac8b7bd41d52d8ec644bbc
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.1 CPython/3.8.10
|
Release files / z3_solver-4.9.0.0-py2.py3-none-win32.whl
| Download URL | z3_solver-4.9.0.0-py2.py3-none-win32.whl |
|---|---|
| Size | 52.4 MB |
| Tags | Python 2 Python 3 Windows x86-32 |
|
SHA-256 checksum How to use checksums |
7690b1f744c2da083baf4dac91450f8d4c029b9f24f1d1081b60488be6bef4e8
|
|
BLAKE2b-256 checksum How to use checksums |
c2a7fdf576ef49a77469cd6656169ae040a25bb4f6f853adc3db39b9fba602b5
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.1 CPython/3.8.10
|
Release files / z3_solver-4.9.0.0-py2.py3-none-manylinux1_x86_64.whl
| Download URL | z3_solver-4.9.0.0-py2.py3-none-manylinux1_x86_64.whl |
|---|---|
| Size | 52.7 MB |
| Tags | Linux glibc 2.5+ x86-64 Python 2 Python 3 |
|
SHA-256 checksum How to use checksums |
c1d5e63e434a02b27f135702f2e5a469724ee4a7c0ec739bde8f5de35721f6cb
|
|
BLAKE2b-256 checksum How to use checksums |
ac561968dbf673f97049fa744ecc71b80d7a48d0a8ab42101202d22832b96d58
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.1 CPython/3.8.10
|
Release files / z3_solver-4.9.0.0-py2.py3-none-macosx_11_0_arm64.whl
| Download URL | z3_solver-4.9.0.0-py2.py3-none-macosx_11_0_arm64.whl |
|---|---|
| Size | 25.7 MB |
| Tags | Python 2 Python 3 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
80aff67512e90aeca2f24525493ecce332c1bb8af3ff9e8e0e41554db61d6208
|
|
BLAKE2b-256 checksum How to use checksums |
24f6313a924da38d5103dfd818babf0d5361db0ffa5aa8f1cd217f61c4f5cb1f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.1 CPython/3.8.10
|
Release files / z3_solver-4.9.0.0-py2.py3-none-macosx_10_16_x86_64.whl
| Download URL | z3_solver-4.9.0.0-py2.py3-none-macosx_10_16_x86_64.whl |
|---|---|
| Size | 28.6 MB |
| Tags | Python 2 Python 3 macOS 10.16+ x86-64 |
|
SHA-256 checksum How to use checksums |
2c65283890be1f139f19d38412c642f3c5ee0386613510753515de7ff3302851
|
|
BLAKE2b-256 checksum How to use checksums |
8ec27e79ba375be6588d4be07b44c468ac514933867111eec852766f5a96409f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.1 CPython/3.8.10
|
