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

In the event of technical difficulties related to configuration, compiliation, or installation, please submit issues to https://github.com/angr/angr-z3

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

Uploaded Source

File details

Details for the file z3-solver-4.4.2.1.tar.gz.

File metadata

  • Download URL: z3-solver-4.4.2.1.tar.gz
  • Upload date:
  • Size: 3.7 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No

File hashes

Hashes for z3-solver-4.4.2.1.tar.gz
Algorithm Hash digest
SHA256 7e7a08e643cd93ee08ee6f00aed748d74c8cb996fad4638913312c46ea319015
MD5 86c15405fd91b5900aa4805bc4b62bbc
BLAKE2b-256 ccecef81e76628b5f04cba2f307009a0a508452884498245f523ea79e8ef4d37

See more details on using hashes here.

Supported by

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