facundominguez/smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
C++NOASSERTION
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
C++NOASSERTION