sci-mathematics@gentoo.org Gentoo Mathematics Project OpenSMT2 is an SMT solver written in C++. It supports reading files in SMT-LIB2 format and the theories QF_UF, QF_RDL, QF_IDL, QF_LRA, QF_LIA, QF_UFLRA, QF_UFLIA and QF_AX. The system also provides an API; the distribution includes a minimal example how to use the API. https://github.com/usi-verification-and-security/opensmt/issues/ usi-verification-and-security/opensmt