search

msakai / haskell-decision-diagrams

Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell
https://hackage.haskell.org/package/decision-diagrams
BSD 3-Clause "New" or "Revised" License
13 stars 6 forks source link

Replace BDD's F/T data constructors with Leaf #15

Closed msakai closed 3 years ago