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
5 maintainers
Metadata
5 maintainers
Release files for z3-solver 4.15.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.15.1.0.tar.gz | 5.1 MB | Details |
Built distributions (wheels)
| File | Reset | |||
|---|---|---|---|---|
| z3_solver-4.15.1.0-py3-none-win_amd64.whl | Python 3 | none | Windows x86-64 | Details |
| z3_solver-4.15.1.0-py3-none-win32.whl | Python 3 | none | Windows x86-32 | Details |
| z3_solver-4.15.1.0-py3-none-manylinux_2_34_aarch64.whl | Python 3 | none | Linux glibc 2.34+ ARM64 | Details |
| z3_solver-4.15.1.0-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl | Python 3 | none | Linux glibc 2.17+ x86-64 | Details |
| z3_solver-4.15.1.0-py3-none-macosx_13_0_x86_64.whl | Python 3 | none | macOS 13.0+ x86-64 | Details |
| z3_solver-4.15.1.0-py3-none-macosx_13_0_arm64.whl | Python 3 | none | macOS 13.0+ ARM64 | Details |
Total release size: 169.8 MB
Release files / z3_solver-4.15.1.0.tar.gz
| Download URL | z3_solver-4.15.1.0.tar.gz |
|---|---|
| Size | 5.1 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
e8522602a76f6e45c45e78eec7bff5cbaa44fa51e94dce0d5432b0f9ab3f7064
|
|
BLAKE2b-256 checksum How to use checksums |
a196c5481ef8e1fb64f398cb81caca0a808b4eee845091d41fb6e72bf06a9ee2
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.12.3
|
Release files / z3_solver-4.15.1.0-py3-none-win_amd64.whl
| Download URL | z3_solver-4.15.1.0-py3-none-win_amd64.whl |
|---|---|
| Size | 16.4 MB |
| Tags | Python 3 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
1d858c5b7ecd60788576ec6ae62cc7b9ae142e9ed38dff3dfd415e2fe230c712
|
|
BLAKE2b-256 checksum How to use checksums |
28ee110ee33282331c5dab4e63bb570b345d85b2ed5ee1d30a54a987903e22fe
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.12.3
|
Release files / z3_solver-4.15.1.0-py3-none-win32.whl
| Download URL | z3_solver-4.15.1.0-py3-none-win32.whl |
|---|---|
| Size | 13.4 MB |
| Tags | Python 3 Windows x86-32 |
|
SHA-256 checksum How to use checksums |
0b41c73ed6ea30514210853e31b432c3654b36e7e7a74db23906ddba345cb654
|
|
BLAKE2b-256 checksum How to use checksums |
32c21cb7df76d243f33f99416e9fcfefc76195cf9305e23fc9296edf6d5fb6be
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.12.3
|
Release files / z3_solver-4.15.1.0-py3-none-manylinux_2_34_aarch64.whl
| Download URL | z3_solver-4.15.1.0-py3-none-manylinux_2_34_aarch64.whl |
|---|---|
| Size | 27.5 MB |
| Tags | Linux glibc 2.34+ ARM64 Python 3 |
|
SHA-256 checksum How to use checksums |
1ac01865e9b07e35b8856157fa95259b1741529c05ef019f599675c7b0caab42
|
|
BLAKE2b-256 checksum How to use checksums |
54c9117858dc7396435026988fb3ab59c6634887488511cc1014007a81fa3b0e
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.12.3
|
Release files / z3_solver-4.15.1.0-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
| Download URL | z3_solver-4.15.1.0-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl |
|---|---|
| Size | 29.5 MB |
| Tags | Linux glibc 2.17+ x86-64 Python 3 |
|
SHA-256 checksum How to use checksums |
0f1d15073c78d793be56ff334f3d4770fe66d57808fdad2780e25c936d8fab0a
|
|
BLAKE2b-256 checksum How to use checksums |
9695b37b98fa23811559987e8403729093b8fae1d0c5321286667768956e31da
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.12.3
|
Release files / z3_solver-4.15.1.0-py3-none-macosx_13_0_x86_64.whl
| Download URL | z3_solver-4.15.1.0-py3-none-macosx_13_0_x86_64.whl |
|---|---|
| Size | 40.4 MB |
| Tags | Python 3 macOS 13.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
878814bef41ca3d9957923d07fc3084967d14dff1a3c039d00f76324461bb11b
|
|
BLAKE2b-256 checksum How to use checksums |
f010b9828d71ac9a65f9ddf75a94b95f269c063dc052ccb200ecfcd81cf5557a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.12.3
|
Release files / z3_solver-4.15.1.0-py3-none-macosx_13_0_arm64.whl
| Download URL | z3_solver-4.15.1.0-py3-none-macosx_13_0_arm64.whl |
|---|---|
| Size | 37.5 MB |
| Tags | Python 3 macOS 13.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
4fdf8675500f32b03114670a8c734fa9fc9f8c9bd1047d575449ca69fa397ac5
|
|
BLAKE2b-256 checksum How to use checksums |
bc8be47ed5d6e3b565e400f2948549a9d633bdeea0eb081ddb3047bd04266d92
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.12.3
|
