GitHub repository: m4lvin/robbed
Primary language: Haskell
Description: A pure Haskell implementation of Reduced Ordered Binary Decision Diagrams (BDDs)