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.