z3-solver

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

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-5.1.0.0.tar.gz (5.5 MB view details)

Uploaded Aug 16, 2026 Source

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

z3_solver-5.1.0.0-py3-none-win_arm64.whl (15.9 MB view details)

Uploaded Aug 16, 2026 Python 3Windows ARM64

z3_solver-5.1.0.0-py3-none-win_amd64.whl (17.0 MB view details)

Uploaded Aug 16, 2026 Python 3Windows x86-64

z3_solver-5.1.0.0-py3-none-win32.whl (14.0 MB view details)

Uploaded Aug 16, 2026 Python 3Windows x86

z3_solver-5.1.0.0-py3-none-manylinux_2_38_riscv64.whl (29.2 MB view details)

Uploaded Aug 16, 2026 Python 3manylinux: glibc 2.38+ riscv64

z3_solver-5.1.0.0-py3-none-manylinux_2_38_aarch64.whl (28.6 MB view details)

Uploaded Aug 16, 2026 Python 3manylinux: glibc 2.38+ ARM64

z3_solver-5.1.0.0-py3-none-manylinux_2_27_x86_64.whl (33.1 MB view details)

Uploaded Aug 16, 2026 Python 3manylinux: glibc 2.27+ x86-64

z3_solver-5.1.0.0-py3-none-macosx_13_0_x86_64.whl (41.4 MB view details)

Uploaded Aug 16, 2026 Python 3macOS 13.0+ x86-64

z3_solver-5.1.0.0-py3-none-macosx_13_0_arm64.whl (38.8 MB view details)

Uploaded Aug 16, 2026 Python 3macOS 13.0+ ARM64

File details

Details for the file z3_solver-5.1.0.0.tar.gz.

File metadata

Download URL: z3_solver-5.1.0.0.tar.gz
Upload date: Aug 16, 2026
Size: 5.5 MB
Tags: Source
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for z3_solver-5.1.0.0.tar.gz
Algorithm	Hash digest
SHA256	`269a0bf62949d227a16ab42afee6750f18477e173a14de6aeaf8789f33f813b5`
MD5	`5c9cd7b362af6ee836668ac82d2e32f9`
BLAKE2b-256	`eef0493c2b3acdb65f452a5b22cbec5241f81a8f5c12ef012f3baff1ad82b738`

See more details on using hashes here.

Provenance

The following attestation bundles were made for z3_solver-5.1.0.0.tar.gz:

Publisher: release.yml on Z3Prover/z3

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: z3_solver-5.1.0.0.tar.gz
- Subject digest: 269a0bf62949d227a16ab42afee6750f18477e173a14de6aeaf8789f33f813b5
- Sigstore transparency entry: 2484200966
- Sigstore integration time: Aug 16, 2026
Source repository:
- Permalink: Z3Prover/z3@0b6cdcdbc65da25ef0f73ac9da210574d0f66cf8
- Branch / Tag: refs/heads/master
- Owner: https://github.com/Z3Prover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@0b6cdcdbc65da25ef0f73ac9da210574d0f66cf8
- Trigger Event: workflow_dispatch

File details

Details for the file z3_solver-5.1.0.0-py3-none-win_arm64.whl.

File metadata

Download URL: z3_solver-5.1.0.0-py3-none-win_arm64.whl
Upload date: Aug 16, 2026
Size: 15.9 MB
Tags: Python 3, Windows ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for z3_solver-5.1.0.0-py3-none-win_arm64.whl
Algorithm	Hash digest
SHA256	`9d0b597974c7b514d91e881fe02f71d8b31c40dd4b7f5cdf01b40dd5510c4def`
MD5	`84b0130292ce80d177eaf6bea0a0189b`
BLAKE2b-256	`30109a0e8e34f374ad6d8a28a03535866ed4f7f767c49c19e53e795ba6a0f7e3`

See more details on using hashes here.

Provenance

The following attestation bundles were made for z3_solver-5.1.0.0-py3-none-win_arm64.whl:

Publisher: release.yml on Z3Prover/z3

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: z3_solver-5.1.0.0-py3-none-win_arm64.whl
- Subject digest: 9d0b597974c7b514d91e881fe02f71d8b31c40dd4b7f5cdf01b40dd5510c4def
- Sigstore transparency entry: 2484201038
- Sigstore integration time: Aug 16, 2026
Source repository:
- Permalink: Z3Prover/z3@0b6cdcdbc65da25ef0f73ac9da210574d0f66cf8
- Branch / Tag: refs/heads/master
- Owner: https://github.com/Z3Prover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@0b6cdcdbc65da25ef0f73ac9da210574d0f66cf8
- Trigger Event: workflow_dispatch

File details

Details for the file z3_solver-5.1.0.0-py3-none-win_amd64.whl.

File metadata

Download URL: z3_solver-5.1.0.0-py3-none-win_amd64.whl
Upload date: Aug 16, 2026
Size: 17.0 MB
Tags: Python 3, Windows x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for z3_solver-5.1.0.0-py3-none-win_amd64.whl
Algorithm	Hash digest
SHA256	`1561efd36e06f4cb7cbf11b63a2fba8fc8fdeb9c5754df90c84f9bd7a4864552`
MD5	`e97f2a030ee487ba4a69ff46e82d5cc1`
BLAKE2b-256	`3f5ae3651dc6c976bc44861f4ba0167366a1ce0b11b3bcbad7377f0d28f9f513`

See more details on using hashes here.

Provenance

The following attestation bundles were made for z3_solver-5.1.0.0-py3-none-win_amd64.whl:

Publisher: release.yml on Z3Prover/z3

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: z3_solver-5.1.0.0-py3-none-win_amd64.whl
- Subject digest: 1561efd36e06f4cb7cbf11b63a2fba8fc8fdeb9c5754df90c84f9bd7a4864552
- Sigstore transparency entry: 2484201070
- Sigstore integration time: Aug 16, 2026
Source repository:
- Permalink: Z3Prover/z3@0b6cdcdbc65da25ef0f73ac9da210574d0f66cf8
- Branch / Tag: refs/heads/master
- Owner: https://github.com/Z3Prover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@0b6cdcdbc65da25ef0f73ac9da210574d0f66cf8
- Trigger Event: workflow_dispatch

File details

Details for the file z3_solver-5.1.0.0-py3-none-win32.whl.

File metadata

Download URL: z3_solver-5.1.0.0-py3-none-win32.whl
Upload date: Aug 16, 2026
Size: 14.0 MB
Tags: Python 3, Windows x86
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for z3_solver-5.1.0.0-py3-none-win32.whl
Algorithm	Hash digest
SHA256	`c5a9e796dd77e4bafcc8c70bdbe44194db2d5d3feb9e62881bf071a3745f852e`
MD5	`9def8265ab7b1d1f4656621feb25ed6d`
BLAKE2b-256	`f335c119d6ac5bad30f7358308f8585fe4db43afb0aebd10bed01db6e168f2f8`

See more details on using hashes here.

Provenance

The following attestation bundles were made for z3_solver-5.1.0.0-py3-none-win32.whl:

Publisher: release.yml on Z3Prover/z3

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: z3_solver-5.1.0.0-py3-none-win32.whl
- Subject digest: c5a9e796dd77e4bafcc8c70bdbe44194db2d5d3feb9e62881bf071a3745f852e
- Sigstore transparency entry: 2484201093
- Sigstore integration time: Aug 16, 2026
Source repository:
- Permalink: Z3Prover/z3@0b6cdcdbc65da25ef0f73ac9da210574d0f66cf8
- Branch / Tag: refs/heads/master
- Owner: https://github.com/Z3Prover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@0b6cdcdbc65da25ef0f73ac9da210574d0f66cf8
- Trigger Event: workflow_dispatch

File details

Details for the file z3_solver-5.1.0.0-py3-none-manylinux_2_38_riscv64.whl.

File metadata

Download URL: z3_solver-5.1.0.0-py3-none-manylinux_2_38_riscv64.whl
Upload date: Aug 16, 2026
Size: 29.2 MB
Tags: Python 3, manylinux: glibc 2.38+ riscv64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for z3_solver-5.1.0.0-py3-none-manylinux_2_38_riscv64.whl
Algorithm	Hash digest
SHA256	`c78fb5fdb4f625775f640a731743f908dce610b2e576c698396cd2294209aee1`
MD5	`c2b8a7f033061686ecc129be68bc1b58`
BLAKE2b-256	`c5d9e9478764a0d0301aaf2b861d00deb0a84dd6d6d887161a12a0ff15552d91`

See more details on using hashes here.

Provenance

The following attestation bundles were made for z3_solver-5.1.0.0-py3-none-manylinux_2_38_riscv64.whl:

Publisher: release.yml on Z3Prover/z3

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: z3_solver-5.1.0.0-py3-none-manylinux_2_38_riscv64.whl
- Subject digest: c78fb5fdb4f625775f640a731743f908dce610b2e576c698396cd2294209aee1
- Sigstore transparency entry: 2484201014
- Sigstore integration time: Aug 16, 2026
Source repository:
- Permalink: Z3Prover/z3@0b6cdcdbc65da25ef0f73ac9da210574d0f66cf8
- Branch / Tag: refs/heads/master
- Owner: https://github.com/Z3Prover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@0b6cdcdbc65da25ef0f73ac9da210574d0f66cf8
- Trigger Event: workflow_dispatch

File details

Details for the file z3_solver-5.1.0.0-py3-none-manylinux_2_38_aarch64.whl.

File metadata

Download URL: z3_solver-5.1.0.0-py3-none-manylinux_2_38_aarch64.whl
Upload date: Aug 16, 2026
Size: 28.6 MB
Tags: Python 3, manylinux: glibc 2.38+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for z3_solver-5.1.0.0-py3-none-manylinux_2_38_aarch64.whl
Algorithm	Hash digest
SHA256	`1dcfcccb4b027951d7adf267b5b236e7a67b8433cc358d802dcb0280151587bf`
MD5	`0fbda94b431d22edd8e95d6c43b6b041`
BLAKE2b-256	`ec497db70c39fefde52eb5571ae709fa370260536439082d36b9ed1ab36bd1a0`

See more details on using hashes here.

Provenance

The following attestation bundles were made for z3_solver-5.1.0.0-py3-none-manylinux_2_38_aarch64.whl:

Publisher: release.yml on Z3Prover/z3

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: z3_solver-5.1.0.0-py3-none-manylinux_2_38_aarch64.whl
- Subject digest: 1dcfcccb4b027951d7adf267b5b236e7a67b8433cc358d802dcb0280151587bf
- Sigstore transparency entry: 2484201166
- Sigstore integration time: Aug 16, 2026
Source repository:
- Permalink: Z3Prover/z3@0b6cdcdbc65da25ef0f73ac9da210574d0f66cf8
- Branch / Tag: refs/heads/master
- Owner: https://github.com/Z3Prover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@0b6cdcdbc65da25ef0f73ac9da210574d0f66cf8
- Trigger Event: workflow_dispatch

File details

Details for the file z3_solver-5.1.0.0-py3-none-manylinux_2_27_x86_64.whl.

File metadata

Download URL: z3_solver-5.1.0.0-py3-none-manylinux_2_27_x86_64.whl
Upload date: Aug 16, 2026
Size: 33.1 MB
Tags: Python 3, manylinux: glibc 2.27+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for z3_solver-5.1.0.0-py3-none-manylinux_2_27_x86_64.whl
Algorithm	Hash digest
SHA256	`dfad9e309d7010b1ff6bdb33f21570a1603ef4727373221c7117a74448f0cfef`
MD5	`f725f486e5f8f559dbbb42f421fa55b3`
BLAKE2b-256	`34de30329041d9a2dda11308576a80b5db17060e4b03a7ba7f550437fb38dd6b`

See more details on using hashes here.

Provenance

The following attestation bundles were made for z3_solver-5.1.0.0-py3-none-manylinux_2_27_x86_64.whl:

Publisher: release.yml on Z3Prover/z3

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: z3_solver-5.1.0.0-py3-none-manylinux_2_27_x86_64.whl
- Subject digest: dfad9e309d7010b1ff6bdb33f21570a1603ef4727373221c7117a74448f0cfef
- Sigstore transparency entry: 2484201132
- Sigstore integration time: Aug 16, 2026
Source repository:
- Permalink: Z3Prover/z3@0b6cdcdbc65da25ef0f73ac9da210574d0f66cf8
- Branch / Tag: refs/heads/master
- Owner: https://github.com/Z3Prover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@0b6cdcdbc65da25ef0f73ac9da210574d0f66cf8
- Trigger Event: workflow_dispatch

File details

Details for the file z3_solver-5.1.0.0-py3-none-macosx_13_0_x86_64.whl.

File metadata

Download URL: z3_solver-5.1.0.0-py3-none-macosx_13_0_x86_64.whl
Upload date: Aug 16, 2026
Size: 41.4 MB
Tags: Python 3, macOS 13.0+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for z3_solver-5.1.0.0-py3-none-macosx_13_0_x86_64.whl
Algorithm	Hash digest
SHA256	`069feb3ecfa0cbf40524b6a06bf0a02d604e1710bd42012ac197e2e343e39cc0`
MD5	`1d6309db3581e3851dfaa7ec71af2903`
BLAKE2b-256	`291a33544c70e014d9d6d8743201eecd3afdc260639b2711c9c0172ddf1fa93b`

See more details on using hashes here.

Provenance

The following attestation bundles were made for z3_solver-5.1.0.0-py3-none-macosx_13_0_x86_64.whl:

Publisher: release.yml on Z3Prover/z3

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: z3_solver-5.1.0.0-py3-none-macosx_13_0_x86_64.whl
- Subject digest: 069feb3ecfa0cbf40524b6a06bf0a02d604e1710bd42012ac197e2e343e39cc0
- Sigstore transparency entry: 2484201187
- Sigstore integration time: Aug 16, 2026
Source repository:
- Permalink: Z3Prover/z3@0b6cdcdbc65da25ef0f73ac9da210574d0f66cf8
- Branch / Tag: refs/heads/master
- Owner: https://github.com/Z3Prover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@0b6cdcdbc65da25ef0f73ac9da210574d0f66cf8
- Trigger Event: workflow_dispatch

File details

Details for the file z3_solver-5.1.0.0-py3-none-macosx_13_0_arm64.whl.

File metadata

Download URL: z3_solver-5.1.0.0-py3-none-macosx_13_0_arm64.whl
Upload date: Aug 16, 2026
Size: 38.8 MB
Tags: Python 3, macOS 13.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for z3_solver-5.1.0.0-py3-none-macosx_13_0_arm64.whl
Algorithm	Hash digest
SHA256	`399a38a85d784105e5df5a05c04a581481bfdb80af7424779cf76fa843b4e66c`
MD5	`5a1b3f263ff5e459e556af652bb9ce3a`
BLAKE2b-256	`019acdb6db09d6aff6a803a94505aa24666db5e47df7aad0f2b1b0ddcb52ed12`

See more details on using hashes here.

Provenance

The following attestation bundles were made for z3_solver-5.1.0.0-py3-none-macosx_13_0_arm64.whl:

Publisher: release.yml on Z3Prover/z3

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: z3_solver-5.1.0.0-py3-none-macosx_13_0_arm64.whl
- Subject digest: 399a38a85d784105e5df5a05c04a581481bfdb80af7424779cf76fa843b4e66c
- Sigstore transparency entry: 2484200987
- Sigstore integration time: Aug 16, 2026
Source repository:
- Permalink: Z3Prover/z3@0b6cdcdbc65da25ef0f73ac9da210574d0f66cf8
- Branch / Tag: refs/heads/master
- Owner: https://github.com/Z3Prover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@0b6cdcdbc65da25ef0f73ac9da210574d0f66cf8
- Trigger Event: workflow_dispatch

Release history Release notifications | RSS feed

This release

5.1.0.0

Aug 16, 2026

5.0.0.0

Jul 17, 2026

4.16.0.0

Feb 19, 2026

4.15.8.0

Feb 12, 2026

4.15.7.0 yanked

Feb 9, 2026

Reason this release was yanked:

it is missing linux wheels

4.15.6.0 yanked

Feb 8, 2026

Reason this release was yanked:

it is missing linux wheels

4.15.5.0 yanked

Feb 7, 2026

Reason this release was yanked:

it is missing linux wheels

4.15.4.0

Oct 29, 2025

4.15.3.0

Aug 16, 2025

4.15.1.0

Jun 8, 2025

4.15.0.0

May 10, 2025

4.14.1.0

Mar 11, 2025

4.14.0.0

Feb 18, 2025

4.13.4.0

Dec 16, 2024

4.13.3.0

Oct 10, 2024

4.13.2.0

Sep 27, 2024

4.13.1.0

Sep 26, 2024

4.13.0.0

Mar 7, 2024

4.12.6.0

Feb 24, 2024

4.12.5.0

Jan 21, 2024

4.12.4.0

Dec 6, 2023

4.12.3.0

Dec 5, 2023

4.12.2.0

May 12, 2023

4.12.1.0

Jan 18, 2023

4.12.0.0

Jan 14, 2023

4.11.2.0

Sep 3, 2022

4.11.1.0

Aug 23, 2022

4.11.0.0

Aug 18, 2022

4.10.2.0

Jul 29, 2022

4.10.1.0

Jul 22, 2022

4.10.0.0

Jul 22, 2022

4.9.1.0

Jul 6, 2022

4.9.0.0

Jul 6, 2022

4.8.17.0

May 5, 2022

4.8.16.0

Apr 24, 2022

4.8.15.0

Mar 20, 2022

4.8.14.0

Dec 23, 2021

4.8.13.0

Nov 19, 2021

4.8.12.0

Jul 13, 2021

4.8.11.0

Jul 10, 2021

4.8.10.0

Jan 20, 2021

4.8.9.0

Sep 11, 2020

4.8.8.0

May 8, 2020

4.8.7.0

Nov 19, 2019

4.8.6.0

Sep 20, 2019

4.8.5.0

May 6, 2019

4.8.0.0.post1

Jul 29, 2018

4.5.1.0.post2

Jun 8, 2017

4.5.1.0.post1

Jan 26, 2017

4.5.1.0

Nov 10, 2016

4.4.2.1.post1

Oct 11, 2016

4.4.2.1

Oct 11, 2016

z3-solver 5.1.0.0

Project links

Key dates

5 maintainers

Credits

GitHub Statistics

License

Tags

Download files

Source Distribution

Built Distributions

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

Release history Release notifications | RSS feed