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

Required Ruby Version

None

Authors

Bernard Lambeau

Versions

  1. 0.0.2

    1. source

      1. 0.0.2 source October 16, 2012 (229 KB)
  2. 0.0.1

    1. source

      1. 0.0.1 source September 12, 2012 (21.5 KB)

SHA 256 checksum

← Previous version