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 links

Data verified by PyPI on Aug 16, 2026
Data provided by the project maintainers, verified at the time the release was uploaded to PyPI.

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Latest release

5 maintainers

PyPI data
Data sourced directly from PyPI's database.
Avatar for ltfish from gravatar.com ltfish Avatar for NikolajBjorner from gravatar.com NikolajBjorner Avatar for rhelmot from gravatar.com rhelmot
+2 more Avatar for salls from gravatar.com salls Avatar for zardus from gravatar.com zardus

Credits

Author: The Z3 Theorem Prover Project

Maintainer: Audrey Dutcher and Nikolaj Bjorner

GitHub Statistics

Data verified by PyPI on Aug 16, 2026
The GitHub source repository was provided by the project maintainers and verified by PyPI at the time of upload. Stars, forks, and open issues/PRs are derived from that repository and have not been independently verified.

License

MIT License

Tags

z3 smt sat prover theorem

Report project as malware

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 Source

Built Distributions

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

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

Uploaded Python 3Windows ARM64

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

Uploaded Python 3Windows x86-64

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

Uploaded Python 3Windows x86

z3_solver-5.1.0.0-py3-none-pyemscripten_2026_0_wasm32.whl (6.0 MB view details)

Uploaded PyEmscripten 2026.0 wasm32Python 3

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

Uploaded 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 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 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 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 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:
  • 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.

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:
  • 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.

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:
  • 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.

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:
  • 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.

File details

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

File metadata

File hashes

Hashes for z3_solver-5.1.0.0-py3-none-pyemscripten_2026_0_wasm32.whl
Algorithm Hash digest
SHA256 d49a91527dc4f65e4a5a938b86a16937decadcbdbd806833d28ce25eb24cd3a9
MD5 d533974abe4de4235c56386bd951aa53
BLAKE2b-256 082c842c3ca4ce8e503a5095c1883e0f18d45e202b1c75451a807ee3a6e4b83e

See more details on using hashes here.

Provenance

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

Publisher: pyodide-pypi.yml on Z3Prover/z3

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

File details

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

File metadata

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.

File details

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

File metadata

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.

File details

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

File metadata

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.

File details

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

File metadata

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.

File details

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

File metadata

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.

Release history Release notifications | RSS feed

This release

5.1.0.0 This release

10 files

5.0.0.0

9 files

4.16.0.0

8 files

4.15.8.0

8 files

Yanked

4.15.7.0

6 files

Yanked reason: it is missing linux wheels

Yanked

4.15.6.0

6 files

Yanked reason: it is missing linux wheels

Yanked

4.15.5.0

6 files

Yanked reason: it is missing linux wheels

4.15.4.0

7 files

4.15.3.0

7 files

4.15.1.0

7 files

4.15.0.0

7 files

4.14.1.0

7 files

4.14.0.0

7 files

4.13.4.0

7 files

4.13.3.0

7 files

4.13.2.0

7 files

4.13.1.0

7 files

4.13.0.0

7 files

4.12.6.0

6 files

4.12.5.0

6 files

4.12.4.0

6 files

4.12.3.0

6 files

4.12.2.0

7 files

4.12.1.0

6 files

4.12.0.0

6 files

4.11.2.0

6 files

4.11.1.0

6 files

4.11.0.0

6 files

4.10.2.0

7 files

4.10.1.0

6 files

4.10.0.0

6 files

4.9.1.0

6 files

4.9.0.0

6 files

4.8.17.0

5 files

4.8.16.0

5 files

4.8.15.0

5 files

4.8.14.0

5 files

4.8.13.0

5 files

4.8.12.0

5 files

4.8.11.0

5 files

4.8.10.0

5 files

4.8.9.0

5 files

4.8.8.0

5 files

4.8.7.0

4 files

4.8.6.0

4 files

4.8.5.0

5 files

4.8.0.0.post1

3 files

4.5.1.0.post2

7 files

4.5.1.0.post1

3 files

4.5.1.0

5 files

4.4.2.1.post1

3 files

4.4.2.1

1 file

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page