GitHub repository: m4lvin/hBDD
Primary language: Haskell
Description: BDD (Boolean Decision Diagram) bindings for Haskell