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.15.0.0.tar.gz (5.0 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.0.0-py3-none-win_amd64.whl (16.4 MB view details)

Uploaded Python 3Windows x86-64

z3_solver-4.15.0.0-py3-none-win32.whl (13.3 MB view details)

Uploaded Python 3Windows x86

z3_solver-4.15.0.0-py3-none-manylinux_2_34_aarch64.whl (27.5 MB view details)

Uploaded Python 3manylinux: glibc 2.34+ ARM64

z3_solver-4.15.0.0-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (29.5 MB view details)

Uploaded Python 3manylinux: glibc 2.17+ x86-64

z3_solver-4.15.0.0-py3-none-macosx_13_0_x86_64.whl (40.3 MB view details)

Uploaded Python 3macOS 13.0+ x86-64

z3_solver-4.15.0.0-py3-none-macosx_13_0_arm64.whl (37.5 MB view details)

Uploaded Python 3macOS 13.0+ ARM64

File details

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

File metadata

  • Download URL: z3_solver-4.15.0.0.tar.gz
  • Upload date:
  • Size: 5.0 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.1.0 CPython/3.12.3

File hashes

Hashes for z3_solver-4.15.0.0.tar.gz
Algorithm Hash digest
SHA256 31012fdbaceb92667fd7e338de8b06b41d60c99bf6a3b8ec197de352372f05f1
MD5 1210d1e09a2d1d6e4eb2e0032b6f64db
BLAKE2b-256 dcead44ca4e86a186b76e2f7787ba2a68e15ee1ab9e66262575e0f4d2aa95560

See more details on using hashes here.

File details

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

File metadata

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

File hashes

Hashes for z3_solver-4.15.0.0-py3-none-win_amd64.whl
Algorithm Hash digest
SHA256 f1d923506654f39834196908ff579c5555b65e2d6140e515dc2d0e43c9218b2f
MD5 9b90cb6cf1ff3cde3752b357d35db370
BLAKE2b-256 71dcfa9bf8cb5a10a108befd5818c9a76e06d7ef65af66493b616002110b66c9

See more details on using hashes here.

File details

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

File metadata

  • Download URL: z3_solver-4.15.0.0-py3-none-win32.whl
  • Upload date:
  • Size: 13.3 MB
  • Tags: Python 3, Windows x86
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.1.0 CPython/3.12.3

File hashes

Hashes for z3_solver-4.15.0.0-py3-none-win32.whl
Algorithm Hash digest
SHA256 cf119f1b95f0c0c6a82fce365336c8887e2f557c5b5b9f370a184aa80d164e1c
MD5 0069c7c9b64aa19186bbe635859bf5c3
BLAKE2b-256 1dd17b19c1a333c5f9d9d20d25833f670972f725a5c3449b87ce897c17a70d76

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for z3_solver-4.15.0.0-py3-none-manylinux_2_34_aarch64.whl
Algorithm Hash digest
SHA256 f90adbb6987493828c9b8381481eaa3eb3efcdc69d326d4dd341da20deaefd31
MD5 86f4ca0dc6ca6ca2c56fad09b31374e2
BLAKE2b-256 2e08553023f73d5571f6d15d851621640bfc21103ac582845bb49c106fcc57e6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for z3_solver-4.15.0.0-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 214d833c2c0959aed3387e35ca36a1bfdfc443f11403d6aaf61ba346b5e21ed3
MD5 b8f9ad243a51e950019776fd275882a8
BLAKE2b-256 9ad3bd7828479c0592280290a24b350a23abb460115824874adc3f902748b3dd

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for z3_solver-4.15.0.0-py3-none-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 83e82ed14073e72ca62bd3833866a9457df124448054a0c9d36db55e2f5baac6
MD5 1195b073136e63b7b260e2f367ed2438
BLAKE2b-256 5cbfd5ee29b77f8a15c3f9b72c891766bb699ebc89883d25e0c49618c8f4081a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for z3_solver-4.15.0.0-py3-none-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 f39d07f6df4c8c09df594f1c9d2bb8b424805033a94725bfd535e7eca13eacfc
MD5 d9a11d077e3a867a21a78932d6b8c20d
BLAKE2b-256 30f5885e60f104fa9419812afee7b9db0805fd3b8c0fc1ba8783fef9a6c6e140

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