GitHub repository: jwaldmann/haskell-obdd
Primary language: Haskell
Description: pure Haskell implementation of reduced ordered binary decision diagrams