Yices¶
Yices 2 is an SMT solver that decides the satisfiability of formulas containing uninterpreted function symbols with equality, real and integer arithmetic, bitvectors, scalar types, and tuples. Yices 2 supports both linear and nonlinear arithmetic.
homepage: https://yices.csl.sri.com/index.html
| version | toolchain |
|---|---|
2.6.2 |
GCCcore/10.2.0 |
2.6.4 |
GCCcore/12.2.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)