an efficient SMT solver library
Verified details
These details have been verified by PyPIProject links
GitHub Statistics
Maintainers
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
Project details
Verified details
These details have been verified by PyPIProject links
GitHub Statistics
Maintainers
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.7.0.tar.gz
(5.1 MB
view details)
Built Distributions
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file z3_solver-4.15.7.0.tar.gz.
File metadata
- Download URL: z3_solver-4.15.7.0.tar.gz
- Upload date:
- Size: 5.1 MB
- Tags: Source
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.13.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
a26b91f861b6d13bb76f0ac568d3ef1c0a4801e70a135f80e66b49628565a460
|
|
| MD5 |
4599f1288449c1c62c574f23828c21c5
|
|
| BLAKE2b-256 |
fd5d810ba04f7e7f2f2e5f019dd75237d1a16b7388a0c72f7e532b27dde9f7e2
|
Provenance
The following attestation bundles were made for z3_solver-4.15.7.0.tar.gz:
Publisher:
release.yml on Z3Prover/z3
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
z3_solver-4.15.7.0.tar.gz -
Subject digest:
a26b91f861b6d13bb76f0ac568d3ef1c0a4801e70a135f80e66b49628565a460 - Sigstore transparency entry: 929268095
- Sigstore integration time:
-
Permalink:
Z3Prover/z3@c269421942b7969b5aa9c75ad1ef3f1932e60708 -
Branch / Tag:
refs/heads/master - Owner: https://github.com/Z3Prover
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
release.yml@c269421942b7969b5aa9c75ad1ef3f1932e60708 -
Trigger Event:
workflow_dispatch
-
Statement type:
File details
Details for the file z3_solver-4.15.7.0-py3-none-win_arm64.whl.
File metadata
- Download URL: z3_solver-4.15.7.0-py3-none-win_arm64.whl
- Upload date:
- Size: 15.1 MB
- Tags: Python 3, Windows ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.13.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
9bf1a350598bc92ece90220073fe47c0b0f8cbbeaaf62974de736bd79947f8bd
|
|
| MD5 |
abb5937cc5ccb12f5e66e3dc4895e061
|
|
| BLAKE2b-256 |
f01fea28f6b3dec9cbab32cf851b3a529c9fb8332300c7419a55ab68ef5b40ac
|
Provenance
The following attestation bundles were made for z3_solver-4.15.7.0-py3-none-win_arm64.whl:
Publisher:
release.yml on Z3Prover/z3
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
z3_solver-4.15.7.0-py3-none-win_arm64.whl -
Subject digest:
9bf1a350598bc92ece90220073fe47c0b0f8cbbeaaf62974de736bd79947f8bd - Sigstore transparency entry: 929268181
- Sigstore integration time:
-
Permalink:
Z3Prover/z3@c269421942b7969b5aa9c75ad1ef3f1932e60708 -
Branch / Tag:
refs/heads/master - Owner: https://github.com/Z3Prover
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
release.yml@c269421942b7969b5aa9c75ad1ef3f1932e60708 -
Trigger Event:
workflow_dispatch
-
Statement type:
File details
Details for the file z3_solver-4.15.7.0-py3-none-win_amd64.whl.
File metadata
- Download URL: z3_solver-4.15.7.0-py3-none-win_amd64.whl
- Upload date:
- Size: 16.4 MB
- Tags: Python 3, Windows x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.13.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
17f5ccea921d6a11bba5880281048c9f4a1e0c35f76e8ce69e72826c90c230bd
|
|
| MD5 |
0b60a510ddfcc35cd09185e306e5439b
|
|
| BLAKE2b-256 |
6cab5a60c6ed712eb97749cd758162842cec771cfbe2c37ea43a251dc6fe583b
|
Provenance
The following attestation bundles were made for z3_solver-4.15.7.0-py3-none-win_amd64.whl:
Publisher:
release.yml on Z3Prover/z3
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
z3_solver-4.15.7.0-py3-none-win_amd64.whl -
Subject digest:
17f5ccea921d6a11bba5880281048c9f4a1e0c35f76e8ce69e72826c90c230bd - Sigstore transparency entry: 929268159
- Sigstore integration time:
-
Permalink:
Z3Prover/z3@c269421942b7969b5aa9c75ad1ef3f1932e60708 -
Branch / Tag:
refs/heads/master - Owner: https://github.com/Z3Prover
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
release.yml@c269421942b7969b5aa9c75ad1ef3f1932e60708 -
Trigger Event:
workflow_dispatch
-
Statement type:
File details
Details for the file z3_solver-4.15.7.0-py3-none-win32.whl.
File metadata
- Download URL: z3_solver-4.15.7.0-py3-none-win32.whl
- Upload date:
- Size: 13.3 MB
- Tags: Python 3, Windows x86
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.13.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
2dd09ac8afde63035d9c0a63b23d448726e374ec588b67b5f5edce9d7e9b1a13
|
|
| MD5 |
a6f8a95151b3a30f1a813212f83296ed
|
|
| BLAKE2b-256 |
614940b0ee7cd2425dfa05bde5776f6aa7e892460a5ca8016171204f9b2d42df
|
Provenance
The following attestation bundles were made for z3_solver-4.15.7.0-py3-none-win32.whl:
Publisher:
release.yml on Z3Prover/z3
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
z3_solver-4.15.7.0-py3-none-win32.whl -
Subject digest:
2dd09ac8afde63035d9c0a63b23d448726e374ec588b67b5f5edce9d7e9b1a13 - Sigstore transparency entry: 929268122
- Sigstore integration time:
-
Permalink:
Z3Prover/z3@c269421942b7969b5aa9c75ad1ef3f1932e60708 -
Branch / Tag:
refs/heads/master - Owner: https://github.com/Z3Prover
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
release.yml@c269421942b7969b5aa9c75ad1ef3f1932e60708 -
Trigger Event:
workflow_dispatch
-
Statement type:
File details
Details for the file z3_solver-4.15.7.0-py3-none-macosx_15_0_x86_64.whl.
File metadata
- Download URL: z3_solver-4.15.7.0-py3-none-macosx_15_0_x86_64.whl
- Upload date:
- Size: 47.6 MB
- Tags: Python 3, macOS 15.0+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.13.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
a9644e958252dfdbdae2f787a8192fe4b8c156e7cf7b0e00a6a59e896a27569d
|
|
| MD5 |
c08d911ebab35d8b41b459c1997ed16e
|
|
| BLAKE2b-256 |
7736132c3d03de2eed160fad123207c981507193b2621e05b2909563775e0ad9
|
Provenance
The following attestation bundles were made for z3_solver-4.15.7.0-py3-none-macosx_15_0_x86_64.whl:
Publisher:
release.yml on Z3Prover/z3
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
z3_solver-4.15.7.0-py3-none-macosx_15_0_x86_64.whl -
Subject digest:
a9644e958252dfdbdae2f787a8192fe4b8c156e7cf7b0e00a6a59e896a27569d - Sigstore transparency entry: 929268201
- Sigstore integration time:
-
Permalink:
Z3Prover/z3@c269421942b7969b5aa9c75ad1ef3f1932e60708 -
Branch / Tag:
refs/heads/master - Owner: https://github.com/Z3Prover
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
release.yml@c269421942b7969b5aa9c75ad1ef3f1932e60708 -
Trigger Event:
workflow_dispatch
-
Statement type:
File details
Details for the file z3_solver-4.15.7.0-py3-none-macosx_15_0_arm64.whl.
File metadata
- Download URL: z3_solver-4.15.7.0-py3-none-macosx_15_0_arm64.whl
- Upload date:
- Size: 37.0 MB
- Tags: Python 3, macOS 15.0+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.13.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
a6c967677c67296a8b7c97dff68107f029c576a94cfb4abc9e08bf72e5499e5d
|
|
| MD5 |
1f697fd91d008f71b989164eff2b66da
|
|
| BLAKE2b-256 |
a71bd21f292b473c1c40bedf41d113577ae2bb7fcc715f54d42c10b7f2b3a186
|
Provenance
The following attestation bundles were made for z3_solver-4.15.7.0-py3-none-macosx_15_0_arm64.whl:
Publisher:
release.yml on Z3Prover/z3
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
z3_solver-4.15.7.0-py3-none-macosx_15_0_arm64.whl -
Subject digest:
a6c967677c67296a8b7c97dff68107f029c576a94cfb4abc9e08bf72e5499e5d - Sigstore transparency entry: 929268235
- Sigstore integration time:
-
Permalink:
Z3Prover/z3@c269421942b7969b5aa9c75ad1ef3f1932e60708 -
Branch / Tag:
refs/heads/master - Owner: https://github.com/Z3Prover
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
release.yml@c269421942b7969b5aa9c75ad1ef3f1932e60708 -
Trigger Event:
workflow_dispatch
-
Statement type:
