Libraries and tools for the SMT-LIB-2 standard. - View it on GitHub