Awesome

Cudd

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

Links

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