ntsis/smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
C++NOASSERTION
Stargazers
No one’s star 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 one’s star this repository yet.