and L.Moura, The YICES SMT Solver, 2006, available at http://yices.csl.sri.com (0)

by B Dutertre