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

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Newer release available (5.0.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

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.13.1.0.tar.gz (4.9 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.13.1.0-py3-none-win_amd64.whl (15.6 MB view details)

Uploaded Python 3Windows x86-64

z3_solver-4.13.1.0-py3-none-win32.whl (12.7 MB view details)

Uploaded Python 3Windows x86

z3_solver-4.13.1.0-py3-none-manylinux_2_34_aarch64.whl (26.1 MB view details)

Uploaded Python 3manylinux: glibc 2.34+ ARM64

z3_solver-4.13.1.0-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (28.1 MB view details)

Uploaded Python 3manylinux: glibc 2.17+ x86-64

z3_solver-4.13.1.0-py3-none-macosx_12_7_x86_64.whl (38.4 MB view details)

Uploaded Python 3macOS 12.7+ x86-64

z3_solver-4.13.1.0-py3-none-macosx_11_0_arm64.whl (35.6 MB view details)

Uploaded Python 3macOS 11.0+ ARM64

File details

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

File metadata

  • Download URL: z3_solver-4.13.1.0.tar.gz
  • Upload date:
  • Size: 4.9 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/5.1.1 CPython/3.10.12

File hashes

Hashes for z3_solver-4.13.1.0.tar.gz
Algorithm Hash digest
SHA256 d9fec787c9abb837536c764391a658a6f049a3d525154921c96e48b5d389b527
MD5 77c0ee935361d992a1d65c8961f08beb
BLAKE2b-256 ba02975b2202a57dc1779a54d901517541bebb4e055bef04b0781c89e9a17653

See more details on using hashes here.

File details

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

File metadata

  • Download URL: z3_solver-4.13.1.0-py3-none-win_amd64.whl
  • Upload date:
  • Size: 15.6 MB
  • Tags: Python 3, Windows x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/5.1.1 CPython/3.10.12

File hashes

Hashes for z3_solver-4.13.1.0-py3-none-win_amd64.whl
Algorithm Hash digest
SHA256 a91a0e2e67e43c520c4c164df895ae03ab36a6fe0b92e50ba5f6625315b5dee6
MD5 a0e9dc7309858ac56ed106c94ecfdbb6
BLAKE2b-256 cf4de4c2847ed3a22dc620e19c450a7ec921e54ebdefdc646c261bc2507bb0c2

See more details on using hashes here.

File details

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

File metadata

  • Download URL: z3_solver-4.13.1.0-py3-none-win32.whl
  • Upload date:
  • Size: 12.7 MB
  • Tags: Python 3, Windows x86
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/5.1.1 CPython/3.10.12

File hashes

Hashes for z3_solver-4.13.1.0-py3-none-win32.whl
Algorithm Hash digest
SHA256 cfa153e30e0383eae675beb212a80e5655c1d80674701e5a753854c554c68263
MD5 8e77de46228a0988987a2639d9b73f33
BLAKE2b-256 38821fa24732b2be315dc589cbabbfeeacaca862f96f7aa3c991ebcde74eecc0

See more details on using hashes here.

File details

Details for the file z3_solver-4.13.1.0-py3-none-manylinux_2_34_aarch64.whl.

File metadata

File hashes

Hashes for z3_solver-4.13.1.0-py3-none-manylinux_2_34_aarch64.whl
Algorithm Hash digest
SHA256 0fabe19110d43b6635c48398abcbf38c1a58163506c7b996446c1e797eee723f
MD5 966a80a5c4dbac041556cc774bdde3d8
BLAKE2b-256 d934fd2220bec06972cd79105ecc15da64e33df4ebfc6d933e4a7ee22d70e4a8

See more details on using hashes here.

File details

Details for the file z3_solver-4.13.1.0-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for z3_solver-4.13.1.0-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 7fe72f6855edc7e9937a7985f110320ec9e757ae5c383395eccd7aadc5b89c02
MD5 e2515b9ed383ffa51855ce54e610368a
BLAKE2b-256 fa6a444464379bd9a03c328ca54539fdb03997cc995fdcbd1065dcb93361bbe2

See more details on using hashes here.

File details

Details for the file z3_solver-4.13.1.0-py3-none-macosx_12_7_x86_64.whl.

File metadata

File hashes

Hashes for z3_solver-4.13.1.0-py3-none-macosx_12_7_x86_64.whl
Algorithm Hash digest
SHA256 e5768daa540a5678198eec44952150db6a4c79dc057b00a3e464bde6e2657bd3
MD5 a99913899e58e05c9b583ad3bf698793
BLAKE2b-256 b3f7eaab1a5b8f711d1db5ab69095775c4adb9380cb598f0b310b56202e310d6

See more details on using hashes here.

File details

Details for the file z3_solver-4.13.1.0-py3-none-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for z3_solver-4.13.1.0-py3-none-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 148bd0bc7b888ac1aa1f617bf8e69a45e25b9ae4f03f2c348ba07b64cc9bb507
MD5 33ca9534d26e1a7824a437c14fb54117
BLAKE2b-256 70a59c17ab69d35b7f894fc71010828d7da4ccc4b42c1d10d6bb154812fa4469

See more details on using hashes here.

Supported by

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