Crate oxidd_dump

source ·
Expand description

Im- and export of decision diagrams

§Feature flags

  • dddmp (enabled by default) — DDDMP format originally from CUDD
  • dot (enabled by default) — Visualization using dot

Modules§

  • dddmp
    Im- and export to the DDDMP format used by CUDD
  • dot
    Visual representation using dot