A port of my Reactive Synthesis Competition entry to use Sentential Decision Diagrams instead of BDDs.
adamwalker/syntcomp-sdd
Synthesis competition solver using Sentential Decision Diagrams
HaskellBSD-3-Clause
Synthesis competition solver using Sentential Decision Diagrams
HaskellBSD-3-Clause
A port of my Reactive Synthesis Competition entry to use Sentential Decision Diagrams instead of BDDs.