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

by C Barrett, A Stump, C Tinelli