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.8.13.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.8.13.0.tar.gz | 4.5 MB | Details |
Built distributions (wheels)
| File | Reset | |||
|---|---|---|---|---|
| z3_solver-4.8.13.0-py2.py3-none-win_amd64.whl | Python 3, Python 2 | none | Windows x86-64 | Details |
| z3_solver-4.8.13.0-py2.py3-none-win32.whl | Python 2, Python 3 | none | Windows x86-32 | Details |
| z3_solver-4.8.13.0-py2.py3-none-manylinux1_x86_64.whl | Python 2, Python 3 | none | Linux glibc 2.5+ x86-64 | Details |
| z3_solver-4.8.13.0-py2.py3-none-macosx_10_16_x86_64.whl | Python 3, Python 2 | none | macOS 10.16+ x86-64 | Details |
Total release size: 124.6 MB
Release files / z3-solver-4.8.13.0.tar.gz
| Download URL | z3-solver-4.8.13.0.tar.gz |
|---|---|
| Size | 4.5 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
eff1087d82132593c8851c89486e2512810d801d594d70526e2878b574bef797
|
|
BLAKE2b-256 checksum How to use checksums |
6bc7a0f0ee6009217583b521de4df889ef55fabadd443b653cd4a74806ec747e
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/3.6.0 importlib_metadata/4.8.2 pkginfo/1.8.0 requests/2.22.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.8.10
|
Release files / z3_solver-4.8.13.0-py2.py3-none-win_amd64.whl
| Download URL | z3_solver-4.8.13.0-py2.py3-none-win_amd64.whl |
|---|---|
| Size | 35.5 MB |
| Tags | Python 2 Python 3 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
d0a07e5fbe2a9d4ef4cfab5ffd2d770f3f138a47a2942dceb9aa5438d53e4dd7
|
|
BLAKE2b-256 checksum How to use checksums |
63d2f2839b07eb6455dab156f14fca669421e362e8cb66eccae6700d1e826222
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/3.6.0 importlib_metadata/4.8.2 pkginfo/1.8.0 requests/2.22.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.8.10
|
Release files / z3_solver-4.8.13.0-py2.py3-none-win32.whl
| Download URL | z3_solver-4.8.13.0-py2.py3-none-win32.whl |
|---|---|
| Size | 32.9 MB |
| Tags | Python 2 Python 3 Windows x86-32 |
|
SHA-256 checksum How to use checksums |
52a84e8368cbcd92ced06bbbf350db1d280573923c69025f519b6cc26ab74bb7
|
|
BLAKE2b-256 checksum How to use checksums |
a9ad740e42db81e95850966a8cd4cd1c88a27defc99cea88cf5902e8c15b162b
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/3.6.0 importlib_metadata/4.8.2 pkginfo/1.8.0 requests/2.22.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.8.10
|
Release files / z3_solver-4.8.13.0-py2.py3-none-manylinux1_x86_64.whl
| Download URL | z3_solver-4.8.13.0-py2.py3-none-manylinux1_x86_64.whl |
|---|---|
| Size | 32.9 MB |
| Tags | Linux glibc 2.5+ x86-64 Python 2 Python 3 |
|
SHA-256 checksum How to use checksums |
65c7004f3642da288f15fbba8397f763c6f56746e320a5636cb1f2308027f50c
|
|
BLAKE2b-256 checksum How to use checksums |
deabaee6b212e740a01c6dd1f47419777c72b76d2cd4fd956369e54cee853d20
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/3.6.0 importlib_metadata/4.8.2 pkginfo/1.8.0 requests/2.22.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.8.10
|
Release files / z3_solver-4.8.13.0-py2.py3-none-macosx_10_16_x86_64.whl
| Download URL | z3_solver-4.8.13.0-py2.py3-none-macosx_10_16_x86_64.whl |
|---|---|
| Size | 18.9 MB |
| Tags | Python 2 Python 3 macOS 10.16+ x86-64 |
|
SHA-256 checksum How to use checksums |
058d9fac03aa4f6cd2be7c5fd578ea8ed7d49adb3ed844acba845e9623525881
|
|
BLAKE2b-256 checksum How to use checksums |
ce98c0facd16cb348bbc96bb7c036dc434ea1b6498e6cd872f1dff758796535c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/3.6.0 importlib_metadata/4.8.2 pkginfo/1.8.0 requests/2.22.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.8.10
|
