Skip to main content

an efficient SMT solver library

Project description

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 details


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

Uploaded Source

Built Distributions

z3_solver-4.13.4.0-py3-none-win_amd64.whl (16.1 MB view details)

Uploaded Python 3 Windows x86-64

z3_solver-4.13.4.0-py3-none-win32.whl (13.1 MB view details)

Uploaded Python 3 Windows x86

z3_solver-4.13.4.0-py3-none-manylinux_2_34_aarch64.whl (27.0 MB view details)

Uploaded Python 3 manylinux: glibc 2.34+ ARM64

z3_solver-4.13.4.0-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (29.0 MB view details)

Uploaded Python 3 manylinux: glibc 2.17+ x86-64

z3_solver-4.13.4.0-py3-none-macosx_13_0_x86_64.whl (39.6 MB view details)

Uploaded Python 3 macOS 13.0+ x86-64

z3_solver-4.13.4.0-py3-none-macosx_13_0_arm64.whl (36.9 MB view details)

Uploaded Python 3 macOS 13.0+ ARM64

File details

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

File metadata

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

File hashes

Hashes for z3_solver-4.13.4.0.tar.gz
Algorithm Hash digest
SHA256 66944689398d19f831f94524e95e99961d998afa27cfef1918a5a441029ea73f
MD5 8e732ff1ac9ee6b900963793bbcb8f4f
BLAKE2b-256 cd4e91d92ce676a6b1e8be0805983f5cea3f087702da2eb934e7b04a1925a4c2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for z3_solver-4.13.4.0-py3-none-win_amd64.whl
Algorithm Hash digest
SHA256 fafb65d7bb04db93e4a46f4357042fd53b420b412db66f0a0053612ed15024ca
MD5 7b95bd2d1f0356d6a4bdb20669d63727
BLAKE2b-256 3c4b5626ed801d6fb4b383628a544af6cc0c53b3ef00451e2e524c5013a39316

See more details on using hashes here.

File details

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

File metadata

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

File hashes

Hashes for z3_solver-4.13.4.0-py3-none-win32.whl
Algorithm Hash digest
SHA256 d23cb6d7c67ce3a4e57b8715e2be0c0fa350a282e641475e5e559521651471a0
MD5 e976bcc7ea2156820efd5da4750c1e0a
BLAKE2b-256 85438a8119345e17671c62d3c9c4e4482aab5e89095fb57e0977f3388c45466b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for z3_solver-4.13.4.0-py3-none-manylinux_2_34_aarch64.whl
Algorithm Hash digest
SHA256 f674d758c199006fa0a527bdf78cb31b4ba5baaaef6c6c0fa80fb063d3834a6c
MD5 fd6d91a84bd93f4bc91aa4ead4f46cc8
BLAKE2b-256 a3db46e8b8c862e1fb0fd388f31c24b2d7e6dea9e689d9ed0b61c98a8470251f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for z3_solver-4.13.4.0-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 2fb8a857adf1064f89581c424fd729ee3e8bad95f4ebf0fb4c1210f65b831f37
MD5 e69aec634433b63d7169da6b444f753b
BLAKE2b-256 0353928b21d33618c86b290408883323dbae27c307951385a634498d3507abbd

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for z3_solver-4.13.4.0-py3-none-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 6f3d3eff878b5b3c0d6e7f4237c869a489288fbdd8a2d878046ce977339a1a7a
MD5 61d4746fa033524ff11ad8a85872c2cd
BLAKE2b-256 27095344531552faf759dfdd318309810c68b6f95142d3b77dd402c35e62336e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for z3_solver-4.13.4.0-py3-none-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 39ba75b867d6afadabc4812b999c9d96656da07d152510452e71ae9374e98926
MD5 e46c196af473d31094c1fb584532595c
BLAKE2b-256 88a5dfde6aa22f66e5b5daac29e2b139533558a6535e3d7d790fa94635675ec5

See more details on using hashes here.

Supported by

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