Yanked

This release has been yanked by its maintainers, and will be ignored by installers, except when explicitly specified.
Consider using release 5.1.0.0 instead.
Reason given by maintainers: it is missing linux wheels

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 Feb 8, 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:
  • Yanked:
Newer release available (5.1.0.0)

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 Feb 8, 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-4.15.6.0.tar.gz (5.1 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-4.15.6.0-py3-none-win_arm64.whl (14.8 MB view details)

Uploaded Python 3Windows ARM64

z3_solver-4.15.6.0-py3-none-win_amd64.whl (16.2 MB view details)

Uploaded Python 3Windows x86-64

z3_solver-4.15.6.0-py3-none-win32.whl (13.2 MB view details)

Uploaded Python 3Windows x86

z3_solver-4.15.6.0-py3-none-macosx_15_0_x86_64.whl (46.7 MB view details)

Uploaded Python 3macOS 15.0+ x86-64

z3_solver-4.15.6.0-py3-none-macosx_15_0_arm64.whl (36.3 MB view details)

Uploaded Python 3macOS 15.0+ ARM64

File details

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

File metadata

  • Download URL: z3_solver-4.15.6.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

Hashes for z3_solver-4.15.6.0.tar.gz
Algorithm Hash digest
SHA256 b99cbde052a67ae8cda0dcff1caa6169dc3d192ede719408308e4f50a512167a
MD5 0a14e3b18159fe678abe572a8495a7bf
BLAKE2b-256 631c8a97a9dd744a831ffb564e5ca6bd32c62c9b1de10729b93c819b1d73a583

See more details on using hashes here.

Provenance

The following attestation bundles were made for z3_solver-4.15.6.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-4.15.6.0-py3-none-win_arm64.whl.

File metadata

  • Download URL: z3_solver-4.15.6.0-py3-none-win_arm64.whl
  • Upload date:
  • Size: 14.8 MB
  • Tags: Python 3, Windows ARM64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for z3_solver-4.15.6.0-py3-none-win_arm64.whl
Algorithm Hash digest
SHA256 4309514a9abc22a8db156c2e9db7f29b434c4558c1a14e38150c7aae95544bf8
MD5 ab279e866c5485e485375d549e00a6cf
BLAKE2b-256 db1a40810662dd43e2290a6ae6651e6fcb68d9d24a9fd3f932fc39390b59e96f

See more details on using hashes here.

Provenance

The following attestation bundles were made for z3_solver-4.15.6.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-4.15.6.0-py3-none-win_amd64.whl.

File metadata

  • Download URL: z3_solver-4.15.6.0-py3-none-win_amd64.whl
  • Upload date:
  • Size: 16.2 MB
  • Tags: Python 3, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for z3_solver-4.15.6.0-py3-none-win_amd64.whl
Algorithm Hash digest
SHA256 e172078b4f1f83141b74b65b2b4143b346789df1b4dbe55e3f6a68b72537fb07
MD5 7982141df80601e4415a43cfaa33dbe0
BLAKE2b-256 b39a5bafee29d009a2c9c881b564e7628d4aebdee62b7e82c7a1cf7e1aeac3f9

See more details on using hashes here.

Provenance

The following attestation bundles were made for z3_solver-4.15.6.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-4.15.6.0-py3-none-win32.whl.

File metadata

  • Download URL: z3_solver-4.15.6.0-py3-none-win32.whl
  • Upload date:
  • Size: 13.2 MB
  • Tags: Python 3, Windows x86
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for z3_solver-4.15.6.0-py3-none-win32.whl
Algorithm Hash digest
SHA256 3dbcc176b9de5136c1df84535f54485ae9319c1f978faa0da7191b71da75c43a
MD5 448e1838e7096f10e30d8e8b2a30a9d9
BLAKE2b-256 1ede5a34feb7ea8fe1cb8b29c9572b4389886db7e4c6f181e4dd44f4d1ca2961

See more details on using hashes here.

Provenance

The following attestation bundles were made for z3_solver-4.15.6.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-4.15.6.0-py3-none-macosx_15_0_x86_64.whl.

File metadata

File hashes

Hashes for z3_solver-4.15.6.0-py3-none-macosx_15_0_x86_64.whl
Algorithm Hash digest
SHA256 6fd8244a8385e32b710c82b9733da9e2dc65a5dacd081c04509309b88dd39380
MD5 7ffc214f715a9f8dae4b357b1dcd1496
BLAKE2b-256 6e94cc65d2ef3cdb9947ba1fb729952d4b9041905965f245c9c2b737fc472608

See more details on using hashes here.

Provenance

The following attestation bundles were made for z3_solver-4.15.6.0-py3-none-macosx_15_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-4.15.6.0-py3-none-macosx_15_0_arm64.whl.

File metadata

File hashes

Hashes for z3_solver-4.15.6.0-py3-none-macosx_15_0_arm64.whl
Algorithm Hash digest
SHA256 51553b327c218067d4206817d8e36abeedf098df211a72a5c046656207818594
MD5 a7f3084d8f4222e3da556782b2869677
BLAKE2b-256 b4fd381686153114165aecceb945a468da24bbb5c5e3827066b951aa3d28c308

See more details on using hashes here.

Provenance

The following attestation bundles were made for z3_solver-4.15.6.0-py3-none-macosx_15_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

5.1.0.0

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

This release
Yanked

4.15.6.0 This release

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

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page