Marcel Walter
Results
1
repositories owned by
Marcel Walter
CEGIS
44
Stars
6
Forks
Watchers
Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research
Marcel Walter
Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research