marcelwa/CEGIS

Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research

语言：C++ · GitHub 星标：79 · Fork：7

话题：satisfiability-solver · smt-solver · synthesis · z3

在 GitHub 上查看原仓库