The SMT-LIB standard: Version 2.0 (2012)

by C Barrett, A Stump, C Tinelli