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!
Installeer:
=
Runtime afhankelijkheden (1):
ffi
~> 1.0