cudd-rb is a ruby bridge to the CU Decision Diagram (CUDD), an implementation of Binary Decision Diagrams.
Bernard Lambeau
gem "cudd-rb", "~> 0.0.2"
