lonsing / smt-switch Goto Github PK
View Code? Open in Web Editor NEWThis project forked from stanford-centaur/smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
License: Other