yices2 (alpine): Solver for Satisfiability Modulo Theories (SMT) problems
Keywords: sat-solver|satisfiability|satisfiability-modulo-theories|smt-solver|theorem-prover