SMT-LIB version 0.2 * Constructors and extractors for the standard theories (except Floating point) of SMT-LIB 2.5 * Experimental support for non-standardized theories such as Strings and Sets. * More robust parser and printers. * Bug fixes, mostly small edge cases and weird symbol names.