The Yices SMT Solver

WWW: https://yices.csl.sri.com
