Reverse dependencies for cudd-rb Latest version of the following gems require cudd-rb

gisele-analysis 0.6.0

This project implements the formal analysis techniques available on the gisele process ...