A simple BDD based safety game solver for the Reactive Synthesis Competition.
Winner of the 2014, 2015, 2016 and 2017 sequential realizability tracks.
adamwalker/syntcomp
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A simple BDD based safety game solver for the Reactive Synthesis Competition.
Winner of the 2014, 2015, 2016 and 2017 sequential realizability tracks.