ppc64le/linux/: z3-solver-5.0.0.0 metadata and description
an efficient SMT solver library
| author | The Z3 Theorem Prover Project |
| classifiers |
|
| dynamic |
|
| keywords | z3,smt,sat,prover,theorem |
| license | MIT License |
| maintainer | Audrey Dutcher and Nikolaj Bjorner |
| maintainer_email | [email protected] |
| metadata_version | 2.4 |
| requires_dist |
|
| File | Tox results | History |
|---|---|---|
z3_solver-5.0.0.0-py3-none-manylinux2014_ppc64le.manylinux_2_39_ppc64le.whl
|
|
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