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.5.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.5.0.tar.gz | 4.8 MB | Details |
Built distributions (wheels)
| File | Reset | |||
|---|---|---|---|---|
| z3_solver-4.12.5.0-py2.py3-none-win_amd64.whl | Python 3, Python 2 | none | Windows x86-64 | Details |
| z3_solver-4.12.5.0-py2.py3-none-win32.whl | Python 3, Python 2 | none | Windows x86-32 | Details |
| z3_solver-4.12.5.0-py2.py3-none-manylinux2014_x86_64.whl | Python 3, Python 2 | none | Linux glibc 2.17+ x86-64 | Details |
| z3_solver-4.12.5.0-py2.py3-none-macosx_11_0_x86_64.whl | Python 3, Python 2 | none | macOS 11.0+ x86-64 | Details |
| z3_solver-4.12.5.0-py2.py3-none-macosx_11_0_arm64.whl | Python 3, Python 2 | none | macOS 11.0+ ARM64 | Details |
Total release size: 234.1 MB
Release files / z3-solver-4.12.5.0.tar.gz
| Download URL | z3-solver-4.12.5.0.tar.gz |
|---|---|
| Size | 4.8 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
9a84fcf2c6d39f640cd300e7fbe83dfbe10ef641b5d9134f9b6112237dd619bc
|
|
BLAKE2b-256 checksum How to use checksums |
9e654f2b3de02aa1fc95d8d970cd9e0c72526fe916e89d848493413364dcf0ba
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.12
|
Release files / z3_solver-4.12.5.0-py2.py3-none-win_amd64.whl
| Download URL | z3_solver-4.12.5.0-py2.py3-none-win_amd64.whl |
|---|---|
| Size | 59.2 MB |
| Tags | Python 2 Python 3 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
d8ac257b5dc20e783a89525549c252dfc27e20b4287a4bd7b463d0a4ea61bb0c
|
|
BLAKE2b-256 checksum How to use checksums |
6651f6463ada714a01cf2a6c380422b9c1fc67238c422c5f10f992a1e488ad47
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.12
|
Release files / z3_solver-4.12.5.0-py2.py3-none-win32.whl
| Download URL | z3_solver-4.12.5.0-py2.py3-none-win32.whl |
|---|---|
| Size | 56.3 MB |
| Tags | Python 2 Python 3 Windows x86-32 |
|
SHA-256 checksum How to use checksums |
89280eefe03cffdbdb47758425d0e09a6d4c4097d4f2ab4a5879ba4c16677905
|
|
BLAKE2b-256 checksum How to use checksums |
33f074b0f0b70b434e96b35aca232eaa2a0f149862dcc053219599c1e4671101
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.12
|
Release files / z3_solver-4.12.5.0-py2.py3-none-manylinux2014_x86_64.whl
| Download URL | z3_solver-4.12.5.0-py2.py3-none-manylinux2014_x86_64.whl |
|---|---|
| Size | 56.9 MB |
| Tags | Linux glibc 2.17+ x86-64 Python 2 Python 3 |
|
SHA-256 checksum How to use checksums |
bdfdd93539e0efeec8c29a5ad6e957e68619898a36e05821ec540f0ea38f9d41
|
|
BLAKE2b-256 checksum How to use checksums |
82c84b1f4c5615f6ab29d2d54f8fd34051b36819c547967349c39f272b1e0683
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.12
|
Release files / z3_solver-4.12.5.0-py2.py3-none-macosx_11_0_x86_64.whl
| Download URL | z3_solver-4.12.5.0-py2.py3-none-macosx_11_0_x86_64.whl |
|---|---|
| Size | 29.9 MB |
| Tags | Python 2 Python 3 macOS 11.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
f976bf542c9c0f2388004f16ddad60666ad343bc1667e0628ea20fd837f97ab9
|
|
BLAKE2b-256 checksum How to use checksums |
29e26f3a4bbe06787244e3fb0b70b457b91b1bdc669355e3de845a83f4b56e49
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.12
|
Release files / z3_solver-4.12.5.0-py2.py3-none-macosx_11_0_arm64.whl
| Download URL | z3_solver-4.12.5.0-py2.py3-none-macosx_11_0_arm64.whl |
|---|---|
| Size | 27.0 MB |
| Tags | Python 2 Python 3 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
489ce1ee69d89b83bd0902b5be089460f8f682bb92632ef24c85fe7214ed1c9a
|
|
BLAKE2b-256 checksum How to use checksums |
71a7b4a7667e795a6f53a970e15e4ddfad589d63886c89a20bd47ee1dbd1ff69
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.12
|
