vzaccaria / haskell-obdd

pure Haskell implementation of reduced ordered binary decision diagrams

A pure Haskell implementation of Reduced Orderded Binary Decision Diagrams.

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.