The Yices SMT Solver
