Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell
BSD 3-Clause "New" or "Revised" License
13
stars
6
forks
source link
Move Graph type to Node module to share between BDD/ZDD #31
Closed
msakai closed 3 years ago