cudd-rb 0.0.2
cudd-rb is a ruby bridge to the CU Decision Diagram (CUDD), an implementation of Binary Decision Diagrams.
Gemfile:
=
Copy to clipboard
Copied!
instalar:
=
Runtime Dependencies (1):
ffi
~> 1.0