SMT-LIB

The Satisfiability Modulo Theories Library