SRI-CSL/yices2
**Brief Summary (2‑3 sentences)** SRI‑CSL/yices2 is the open‑source implementation of the Yices SMT (Satisfi‑checking Modulo Theories) solver, maintained by the
Original source**Brief Summary (2‑3 sentences)** SRI‑CSL/yices2 is the open‑source implementation of the Yices SMT (Satisfi‑checking Modulo Theories) solver, maintained by the
Original source