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.14.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.14.1.0.tar.gz | 5.0 MB | Details |
Built distributions (wheels)
| File | Reset | |||
|---|---|---|---|---|
| z3_solver-4.14.1.0-py3-none-win_amd64.whl | Python 3 | none | Windows x86-64 | Details |
| z3_solver-4.14.1.0-py3-none-win32.whl | Python 3 | none | Windows x86-32 | Details |
| z3_solver-4.14.1.0-py3-none-manylinux_2_34_aarch64.whl | Python 3 | none | Linux glibc 2.34+ ARM64 | Details |
| z3_solver-4.14.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.14.1.0-py3-none-macosx_13_0_x86_64.whl | Python 3 | none | macOS 13.0+ x86-64 | Details |
| z3_solver-4.14.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.14.1.0.tar.gz
| Download URL | z3_solver-4.14.1.0.tar.gz |
|---|---|
| Size | 5.0 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
ddc6981d83205cbe6000b8fa71f78da496bbaa635fadaf776b6d129b80e7b113
|
|
BLAKE2b-256 checksum How to use checksums |
e3c6086c5fa95770f4c28d4d997752ac170fe46dee7e4322dd000d6eb551b44b
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.10.12
|
Release files / z3_solver-4.14.1.0-py3-none-win_amd64.whl
| Download URL | z3_solver-4.14.1.0-py3-none-win_amd64.whl |
|---|---|
| Size | 16.4 MB |
| Tags | Python 3 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
5c04967807ba3a33a28232c6c4c59d76257b8726a323ee8aea907820f27ca76e
|
|
BLAKE2b-256 checksum How to use checksums |
82e6ffd26edef3580fe90a757c5bb595de083285c3c90470fa06e9f781033353
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.10.12
|
Release files / z3_solver-4.14.1.0-py3-none-win32.whl
| Download URL | z3_solver-4.14.1.0-py3-none-win32.whl |
|---|---|
| Size | 13.4 MB |
| Tags | Python 3 Windows x86-32 |
|
SHA-256 checksum How to use checksums |
3ab20f602e9d00b3928f5692b05455c6496dd171761874937169f949cb5ee6f5
|
|
BLAKE2b-256 checksum How to use checksums |
0dea86c6b7ca09aeff1e684af080daa859626f1fc4ff0d45fefbfee4d783fc54
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.10.12
|
Release files / z3_solver-4.14.1.0-py3-none-manylinux_2_34_aarch64.whl
| Download URL | z3_solver-4.14.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 |
4bd2b1956c39e29902910ff3898b4999cd0613cf80eee4c58b1572cae3d33248
|
|
BLAKE2b-256 checksum How to use checksums |
f0c7fcce95921f42a606c9f1bf76f133ec0e41d660b14e6c47ccac3bae6bd8ba
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.10.12
|
Release files / z3_solver-4.14.1.0-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
| Download URL | z3_solver-4.14.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 |
dc8e48fa2855f6f7fa5fda450a5f7f042651f447835e5a2db531960658eb012d
|
|
BLAKE2b-256 checksum How to use checksums |
1a3639a210eac61a8d0c5c7a3d88ac2bec5c51b5aa4e3b9c8a52bc5a1fbf43a2
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.10.12
|
Release files / z3_solver-4.14.1.0-py3-none-macosx_13_0_x86_64.whl
| Download URL | z3_solver-4.14.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 |
86594ca6f25531d4bf1f42d23cbc463877ddd06c9d5c4df7160313e1dace898c
|
|
BLAKE2b-256 checksum How to use checksums |
63ab938222402ad3132df9e5493a8afa70f4df414c43b0500343c2194b389faa
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.10.12
|
Release files / z3_solver-4.14.1.0-py3-none-macosx_13_0_arm64.whl
| Download URL | z3_solver-4.14.1.0-py3-none-macosx_13_0_arm64.whl |
|---|---|
| Size | 37.6 MB |
| Tags | Python 3 macOS 13.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
cb58bc05a88889d5ba6246ebc9f0d2f6cf346002fe73df4a4d8b358ac012ab44
|
|
BLAKE2b-256 checksum How to use checksums |
f9c9a9f8de6dda37873ae8098a817c2f07d15989efff799b0e393a37862868b9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.10.12
|
