hBDD-CUDD

hBDD provides a high-level API to some Boolean Decision Diagram libraries; this is the CUDD part of it.