stanford-centaur
Popular repositories
-
smt-switch
smt-switch PublicA generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
Repositories
Showing 3 of 3 repositories
- smt-switch Public
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.