/smt-switch

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

Primary LanguageC++OtherNOASSERTION

No issues in this repository yet.