A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers. - View it on GitHub