hBDD (hackage): hBDD provides a high-level API to the CUDD and CMU Boolean Decision Diagram libraries.
Keywords: data|library