decision-diagrams (hackage): Please see the README on GitHub at https://github.com/msakai/haskell-decision-diagrams#readme
Keywords: bsd3|data|data-structures|library|logic|bdd|binary-decision-diagram|binary-decision-diagrams|haskell|zdd