cudd-rb 0.0.2

cudd-rb is a ruby bridge to the CU Decision Diagram (CUDD), an implementation of Binary Decision Diagrams.

Gemfile:
= Copier Copié!

installation:
=

Versions:

0.0.2 - October 16, 2012 (229 ko)
0.0.1 - September 12, 2012 (21,5 ko)

Dépendances de Runtime (1):

ffi ~> 1.0

Dépendances de Development (4):

bluecloth ~> 2.2

rake ~> 0.9.2

rspec ~> 2.11

yard ~> 0.7.2

Show all transitive dependencies

Propriétaires:

Auteurs:

Bernard Lambeau

Total de contrôle SHA 256:

172144a1a5a3628f502383d2629fb599ff5dafe43b87e269246abbe63d266671