/haskell-obdd

pure Haskell implementation of reduced ordered binary decision diagrams

Primary LanguageHaskellGNU General Public License v2.0GPL-2.0

A pure Haskell implementation of Reduced Orderded Binary Decision Diagrams.

Build Status

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.