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
5 maintainers
Metadata
5 maintainers
Release files for z3-solver 4.4.2.1
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| z3-solver-4.4.2.1.tar.gz | 3.7 MB | Details |
Release files / z3-solver-4.4.2.1.tar.gz
| Download URL | z3-solver-4.4.2.1.tar.gz |
|---|---|
| Size | 3.7 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
7e7a08e643cd93ee08ee6f00aed748d74c8cb996fad4638913312c46ea319015
|
|
BLAKE2b-256 checksum How to use checksums |
ccecef81e76628b5f04cba2f307009a0a508452884498245f523ea79e8ef4d37
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
