Decision diagram library

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes

A decision diagram library supporting multi-terminal and edge-valued decision diagrams. Includes native support for multi-way decision nodes, configurable garbage collection, and many useful operations (with compute table support).

VERSION HISTORY

  • Version files posted on 2010-06-11
    Several fixes and updates
  • Version N/A posted on 2010-06-11

Program Details