Simple BDD Solver
A simple BDD based safety game solver for the Reactive Synthesis Competition.
Winner of the 2014, 2015, 2016 and 2017 sequential realizability tracks.
Synthesis competition entry
A simple BDD based safety game solver for the Reactive Synthesis Competition.
Winner of the 2014, 2015, 2016 and 2017 sequential realizability tracks.
Synthesis competition entry
BSD 3-Clause "New" or "Revised" License