The Satisfiability Modulo Theories Library (SMT-LIB), www.SMT-LIB.org (2006)

by S Ranise, C Tinelli