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.1.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.1.0.tar.gz | 4.8 MB | Details |
Built distributions (wheels)
| File | Reset | |||
|---|---|---|---|---|
| z3_solver-4.12.1.0-py2.py3-none-win_amd64.whl | Python 3, Python 2 | none | Windows x86-64 | Details |
| z3_solver-4.12.1.0-py2.py3-none-win32.whl | Python 2, Python 3 | none | Windows x86-32 | Details |
| z3_solver-4.12.1.0-py2.py3-none-manylinux1_x86_64.whl | Python 2, Python 3 | none | Linux glibc 2.5+ x86-64 | Details |
| z3_solver-4.12.1.0-py2.py3-none-macosx_11_0_arm64.whl | Python 2, Python 3 | none | macOS 11.0+ ARM64 | Details |
| z3_solver-4.12.1.0-py2.py3-none-macosx_10_16_x86_64.whl | Python 2, Python 3 | none | macOS 10.16+ x86-64 | Details |
Total release size: 230.6 MB
Release files / z3-solver-4.12.1.0.tar.gz
| Download URL | z3-solver-4.12.1.0.tar.gz |
|---|---|
| Size | 4.8 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
c6b7c0f1c595ba47609d0e02b0cc263dc755def9f8d6f51c1943aec040a1eb2d
|
|
BLAKE2b-256 checksum How to use checksums |
1576f16bfcfd3c7e8f929a4f26dc554bc8a086823c9225975b7b67b21ccb4d69
|
| 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.1.0-py2.py3-none-win_amd64.whl
| Download URL | z3_solver-4.12.1.0-py2.py3-none-win_amd64.whl |
|---|---|
| Size | 58.2 MB |
| Tags | Python 2 Python 3 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
aa0e06d42070774a2f89818c412514d41fc84578f32d617de618b214e5ed8154
|
|
BLAKE2b-256 checksum How to use checksums |
74d6c9bb5625ad33255d63475cf1d9a240da5db67ae5eec9ee9d08beaba906a3
|
| 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.1.0-py2.py3-none-win32.whl
| Download URL | z3_solver-4.12.1.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 |
85ff9f59b0f87df4dc0cd52baebb247b8049f2df6aad623151f4c4a21d3d01ac
|
|
BLAKE2b-256 checksum How to use checksums |
87f620e1fcd26f793fb16efeecfe2d71ff9526e93a803d56ae7df33982d39405
|
| 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.1.0-py2.py3-none-manylinux1_x86_64.whl
| Download URL | z3_solver-4.12.1.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 |
41cb9ac460af30b193811eebf919d61cf51a8856bbd74b200cbe6b21e3e955e4
|
|
BLAKE2b-256 checksum How to use checksums |
0353265b4b11a3699f5ec23a87609a60fd10bb465221690daf271b07367cce87
|
| 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.1.0-py2.py3-none-macosx_11_0_arm64.whl
| Download URL | z3_solver-4.12.1.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 |
553ec3cd0188420bc5f007dd873fb0d87075d1b93808eca8c02324eb3a5f6f68
|
|
BLAKE2b-256 checksum How to use checksums |
5cbf6b2c0835f3a46e1330f677ddb072bac026cd1f452a54841100043038a385
|
| 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.1.0-py2.py3-none-macosx_10_16_x86_64.whl
| Download URL | z3_solver-4.12.1.0-py2.py3-none-macosx_10_16_x86_64.whl |
|---|---|
| Size | 29.7 MB |
| Tags | Python 2 Python 3 macOS 10.16+ x86-64 |
|
SHA-256 checksum How to use checksums |
c4f1a53bce12b45698e8e49bd980cd3d3f0298c1ba4cf8c40525af86797565c8
|
|
BLAKE2b-256 checksum How to use checksums |
3ebbee5de50e182972d02f61589b17a79c5647698cfb7500cd9bc8d1be7d0e75
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.6
|
