hBDD-CMUBDD (hackage): hBDD provides a high-level API to some Boolean Decision Diagram libraries; this is the CMU/Long part of it.
Keywords: data|library