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