A port of my Reactive Synthesis Competition entry to use Sentential Decision Diagrams instead of BDDs.
Synthesis competition solver using Sentential Decision Diagrams
A port of my Reactive Synthesis Competition entry to use Sentential Decision Diagrams instead of BDDs.
Synthesis competition solver using Sentential Decision Diagrams
BSD 3-Clause "New" or "Revised" License