What AI says about Yices
Yices 2 is an SMT solver that decides the satisfiability of formulas with uninterpreted functions, arithmetic, bitvectors, and tuples. It supports both linear and nonlinear arithmetic, processes SMT-LIB input, and is available as open-source software under the GPLv3 license.
We haven’t found Yices in the AI answers we’ve checked.
