Library to parse and type-check an extension of the SMT-LIB 2 standard
