Cudd

A ruby bridge to the CU Decision Diagram package (CUDD).

https://github.com/blambeau/cudd-rb