termite2/syntcomp
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
A simple BDD based safety game solver for the synthesis competition: http://www.syntcomp.org/ .
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A simple BDD based safety game solver for the synthesis competition: http://www.syntcomp.org/ .