This is mostly educational. The BDDs do not share nodes and this might introduce inefficiencies.
See https://github.com/jwaldmann/haskell-buddy for a Haskell API for BuDDy.
pure Haskell implementation of reduced ordered binary decision diagrams
HaskellGPL-2.0
This is mostly educational. The BDDs do not share nodes and this might introduce inefficiencies.
See https://github.com/jwaldmann/haskell-buddy for a Haskell API for BuDDy.