SMTLib v2.0