CEGIS(T) - CounterExample Guided Inductive Synthesis Modulo Theories
About CEGIS(T)
CEGIS(T) is a synthesis engine that combines theory solvers with counterexample guided inductive synthesis
CAV'18 Experiments
We provide all resources required for reproducing the results reported in our CAV'18 paper.