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