C.: The satisfiability modulo theories library (smt-lib (2013)

by C Barrett, A Stump, Tinelli