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

Add inSig and outSig to BDD and ZDD #29

Closed msakai closed 3 years ago