an efficient SMT solver library
Project description
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
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
z3_solver-4.15.1.0.tar.gz
(5.1 MB
view details)
Built Distributions
File details
Details for the file z3_solver-4.15.1.0.tar.gz.
File metadata
- Download URL: z3_solver-4.15.1.0.tar.gz
- Upload date:
- Size: 5.1 MB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.1.0 CPython/3.12.3
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
e8522602a76f6e45c45e78eec7bff5cbaa44fa51e94dce0d5432b0f9ab3f7064
|
|
| MD5 |
a058990d4d1f7ecf518702f8b3c3a434
|
|
| BLAKE2b-256 |
a196c5481ef8e1fb64f398cb81caca0a808b4eee845091d41fb6e72bf06a9ee2
|
File details
Details for the file z3_solver-4.15.1.0-py3-none-win_amd64.whl.
File metadata
- Download URL: z3_solver-4.15.1.0-py3-none-win_amd64.whl
- Upload date:
- Size: 16.4 MB
- Tags: Python 3, Windows x86-64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.1.0 CPython/3.12.3
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
1d858c5b7ecd60788576ec6ae62cc7b9ae142e9ed38dff3dfd415e2fe230c712
|
|
| MD5 |
f5714fc445e05dff7d5fb39093d5466c
|
|
| BLAKE2b-256 |
28ee110ee33282331c5dab4e63bb570b345d85b2ed5ee1d30a54a987903e22fe
|
File details
Details for the file z3_solver-4.15.1.0-py3-none-win32.whl.
File metadata
- Download URL: z3_solver-4.15.1.0-py3-none-win32.whl
- Upload date:
- Size: 13.4 MB
- Tags: Python 3, Windows x86
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.1.0 CPython/3.12.3
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
0b41c73ed6ea30514210853e31b432c3654b36e7e7a74db23906ddba345cb654
|
|
| MD5 |
6d0b4f77f1e82d568a77561d97214b2c
|
|
| BLAKE2b-256 |
32c21cb7df76d243f33f99416e9fcfefc76195cf9305e23fc9296edf6d5fb6be
|
File details
Details for the file z3_solver-4.15.1.0-py3-none-manylinux_2_34_aarch64.whl.
File metadata
- Download URL: z3_solver-4.15.1.0-py3-none-manylinux_2_34_aarch64.whl
- Upload date:
- Size: 27.5 MB
- Tags: Python 3, manylinux: glibc 2.34+ ARM64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.1.0 CPython/3.12.3
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
1ac01865e9b07e35b8856157fa95259b1741529c05ef019f599675c7b0caab42
|
|
| MD5 |
35e23881179ae592c54a1c5a08fe1ec4
|
|
| BLAKE2b-256 |
54c9117858dc7396435026988fb3ab59c6634887488511cc1014007a81fa3b0e
|
File details
Details for the file z3_solver-4.15.1.0-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.
File metadata
- Download URL: z3_solver-4.15.1.0-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
- Upload date:
- Size: 29.5 MB
- Tags: Python 3, manylinux: glibc 2.17+ x86-64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.1.0 CPython/3.12.3
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
0f1d15073c78d793be56ff334f3d4770fe66d57808fdad2780e25c936d8fab0a
|
|
| MD5 |
f6088e3a3251c2e62292a15dc39909c1
|
|
| BLAKE2b-256 |
9695b37b98fa23811559987e8403729093b8fae1d0c5321286667768956e31da
|
File details
Details for the file z3_solver-4.15.1.0-py3-none-macosx_13_0_x86_64.whl.
File metadata
- Download URL: z3_solver-4.15.1.0-py3-none-macosx_13_0_x86_64.whl
- Upload date:
- Size: 40.4 MB
- Tags: Python 3, macOS 13.0+ x86-64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.1.0 CPython/3.12.3
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
878814bef41ca3d9957923d07fc3084967d14dff1a3c039d00f76324461bb11b
|
|
| MD5 |
77e004892a3830782db63b6b628ebe36
|
|
| BLAKE2b-256 |
f010b9828d71ac9a65f9ddf75a94b95f269c063dc052ccb200ecfcd81cf5557a
|
File details
Details for the file z3_solver-4.15.1.0-py3-none-macosx_13_0_arm64.whl.
File metadata
- Download URL: z3_solver-4.15.1.0-py3-none-macosx_13_0_arm64.whl
- Upload date:
- Size: 37.5 MB
- Tags: Python 3, macOS 13.0+ ARM64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.1.0 CPython/3.12.3
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
4fdf8675500f32b03114670a8c734fa9fc9f8c9bd1047d575449ca69fa397ac5
|
|
| MD5 |
52dfdd435defdc976fba891dfafe1e4a
|
|
| BLAKE2b-256 |
bc8be47ed5d6e3b565e400f2948549a9d633bdeea0eb081ddb3047bd04266d92
|
