The SMT-LIB Standard, Version 1.2, 2006. Available from the ”Documents” section of http://www.smtlib.org (0)

by S Ranise, C Tinelli