stanford-centaur/smt-switch

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

语言：C++ · GitHub 星标：143 · Fork：56

在 GitHub 上查看原仓库