GitHub repository: makaimann/generic-smt-api
Primary language: C++
Description: A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.