v0.2.0

Changes

• add destruct function that does a single-layer deconstruction of a diagram.
• Compiles on OCaml 4.01.0

v0.1.1

New Features

• Convert a diagram to the DOT format for visualization (#3)

Bug Fixes

• Improve performance diagram cache (#4)
• Fix potential bug in computing support (#2)

v0.1.0

Initial Release

• Support for reduced ordered binary decision diagrams (Bdd module)
• Support for two generalizations of BDDs
  • Vcr module: semi-ring values as results and variable, constant assignments as decision nodes
  • Vlr module: semi-ring values ss results and variable, lattice assignments as decision nodes