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

 

Download

CAV'18 Experiments

We provide all resources required for reproducing the results reported in our CAV'18 paper.