The yices smt solver (2006)

by Bruno Dutertre, Leonardo De Moura