/smt-switch

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

Primary LanguageC++OtherNOASSERTION

Stargazers

No one’s star this repository yet.