Z3¶
Z3 is a theorem prover from Microsoft Research with support for bitvectors, booleans, arrays, floating point numbers, strings, and other data types. This module includes z3_solver, the Python interface of Z3.
homepage: https://github.com/Z3Prover/z3
| version | versionsuffix | toolchain |
|---|---|---|
4.10.2 |
-Python-3.10.4 |
GCCcore/11.3.0 |
4.10.2 |
GCCcore/11.3.0 |
|
4.12.2 |
-Python-3.10.8 |
GCCcore/12.2.0 |
4.12.2 |
GCCcore/12.2.0 |
|
4.12.2 |
GCCcore/12.3.0 |
|
4.13.0 |
GCCcore/13.2.0 |
|
4.13.0 |
GCCcore/13.3.0 |
|
4.8.10 |
-Python-3.8.6 |
GCCcore/10.2.0 |
4.8.10 |
GCCcore/10.2.0 |
|
4.8.11 |
-Python-3.9.5 |
GCCcore/10.3.0 |
4.8.11 |
GCCcore/10.3.0 |
|
4.8.12 |
-Python-3.9.6 |
GCCcore/11.2.0 |
4.8.12 |
GCCcore/11.2.0 |
|
4.8.16 |
-Python-3.10.4 |
GCCcore/11.3.0 |
4.8.16 |
GCCcore/11.3.0 |
|
4.8.9 |
GCCcore/8.3.0 |
|
4.8.9 |
GCCcore/9.3.0 |
(quick links: (all) - 0 - a - b - c - d - e - f - g - h - i - j - k - l - m - n - o - p - q - r - s - t - u - v - w - x - y - z)