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 BDD.numNodes and ZDD.numNodes #27

Closed msakai closed 3 years ago