obdd (hackage): pure Haskell implementation of reduced ordered binary decision diagrams
Keywords: library|logic