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.13.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.13.0.0.tar.gz | 4.8 MB | Details |
Built distributions (wheels)
| File | Reset | |||
|---|---|---|---|---|
| z3_solver-4.13.0.0-py2.py3-none-win_amd64.whl | Python 3, Python 2 | none | Windows x86-64 | Details |
| z3_solver-4.13.0.0-py2.py3-none-win32.whl | Python 2, Python 3 | none | Windows x86-32 | Details |
| z3_solver-4.13.0.0-py2.py3-none-manylinux2014_x86_64.whl | Python 3, Python 2 | none | Linux glibc 2.17+ x86-64 | Details |
| z3_solver-4.13.0.0-py2.py3-none-manylinux2014_aarch64.whl | Python 2, Python 3 | none | Linux glibc 2.17+ ARM64 | Details |
| z3_solver-4.13.0.0-py2.py3-none-macosx_11_0_x86_64.whl | Python 3, Python 2 | none | macOS 11.0+ x86-64 | Details |
| z3_solver-4.13.0.0-py2.py3-none-macosx_11_0_arm64.whl | Python 2, Python 3 | none | macOS 11.0+ ARM64 | Details |
Total release size: 288.8 MB
Release files / z3-solver-4.13.0.0.tar.gz
| Download URL | z3-solver-4.13.0.0.tar.gz |
|---|---|
| Size | 4.8 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
52588e92aec7cb338fd6288ce93758ae01770f62ca0c80e8f4f2b2333feaf51b
|
|
BLAKE2b-256 checksum How to use checksums |
3afde3f5850fd04480a942aca9f9f7520d3fa5b57731335c221a11f55bb6d91a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/5.0.0 CPython/3.10.12
|
Release files / z3_solver-4.13.0.0-py2.py3-none-win_amd64.whl
| Download URL | z3_solver-4.13.0.0-py2.py3-none-win_amd64.whl |
|---|---|
| Size | 58.4 MB |
| Tags | Python 2 Python 3 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
3555436cfe9a5fa2d1b432fb9a5e4460e487649c22e5e68a56f7d81594d043e9
|
|
BLAKE2b-256 checksum How to use checksums |
25c0dd978c813288f6860bcfb9e4d2d1d3b311a42a2237a4766e5a0adbcaa79b
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/5.0.0 CPython/3.10.12
|
Release files / z3_solver-4.13.0.0-py2.py3-none-win32.whl
| Download URL | z3_solver-4.13.0.0-py2.py3-none-win32.whl |
|---|---|
| Size | 55.4 MB |
| Tags | Python 2 Python 3 Windows x86-32 |
|
SHA-256 checksum How to use checksums |
13468e1018c817b7f794898d3100f02541d15c13ab56c0785c5acdea32a066cf
|
|
BLAKE2b-256 checksum How to use checksums |
b927ca09e1f4642b42a2972047f508bc4ecb0c5acf975c910eb0fdeaf9ec21d0
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/5.0.0 CPython/3.10.12
|
Release files / z3_solver-4.13.0.0-py2.py3-none-manylinux2014_x86_64.whl
| Download URL | z3_solver-4.13.0.0-py2.py3-none-manylinux2014_x86_64.whl |
|---|---|
| Size | 57.3 MB |
| Tags | Linux glibc 2.17+ x86-64 Python 2 Python 3 |
|
SHA-256 checksum How to use checksums |
8c42de82b6e3ff7ee61287d03c7af8a99f9f6554cdd1204c6b9bca96ff1cb7fb
|
|
BLAKE2b-256 checksum How to use checksums |
c6790255fe0efee7ea9db8987ced14c70028a0007d4d4aaaed8965310bbd7bb1
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/5.0.0 CPython/3.10.12
|
Release files / z3_solver-4.13.0.0-py2.py3-none-manylinux2014_aarch64.whl
| Download URL | z3_solver-4.13.0.0-py2.py3-none-manylinux2014_aarch64.whl |
|---|---|
| Size | 55.6 MB |
| Tags | Linux glibc 2.17+ ARM64 Python 2 Python 3 |
|
SHA-256 checksum How to use checksums |
9d622022a3511c059915c56b2c231c84b5c1be1b82f457d7560dda3d916474fe
|
|
BLAKE2b-256 checksum How to use checksums |
0e8c9058d3998fdc2148f3e6d3497e949d5dfc77c66b1cc1cb461554c0bba954
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/5.0.0 CPython/3.10.12
|
Release files / z3_solver-4.13.0.0-py2.py3-none-macosx_11_0_x86_64.whl
| Download URL | z3_solver-4.13.0.0-py2.py3-none-macosx_11_0_x86_64.whl |
|---|---|
| Size | 30.1 MB |
| Tags | Python 2 Python 3 macOS 11.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
4a4731fded91b32e1861e1c7c96e500da743bb9431246cac51f7c3ffc0f21b5d
|
|
BLAKE2b-256 checksum How to use checksums |
9c20f28dfa982bc820760117e5615d59d695d12a6fb31660f53a749be27cccca
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/5.0.0 CPython/3.10.12
|
Release files / z3_solver-4.13.0.0-py2.py3-none-macosx_11_0_arm64.whl
| Download URL | z3_solver-4.13.0.0-py2.py3-none-macosx_11_0_arm64.whl |
|---|---|
| Size | 27.1 MB |
| Tags | Python 2 Python 3 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
bca7d59a699a440247537c2180c519d682c9df3520a16ce288fced61a70d253d
|
|
BLAKE2b-256 checksum How to use checksums |
4e5b934de9f1f31b1d0f3a8da0ff2e3092136fbffe737eca52965818464af4c3
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/5.0.0 CPython/3.10.12
|
