cudd-rb 0.0.2

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

Gemfile:
=

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:

=