cudd-rbの被依存関係 以下のgemの最新版はcudd-rbを必要としています

gisele-analysis 0.6.0

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