Crate oxidd_dump

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