Package-level declarations

The "BDD" lower-tab: shows the current solution's binary decision diagram (if any) and a "Copy DOT" action.

Dependency-free fallback renderer: shows a BDD's raw DOT source as read-only monospaced text.

Renders a BDD's DOT source as an actual graph picture by converting it to an equivalent PlantUML state diagram (see dotToPlantUml) and rendering that with PlantUML's own pure-JVM Smetana layout engine (the !pragma layout smetana in dotToPlantUml's output, same engine :documentation's generateDiagrams task already uses) - no native Graphviz install and, unlike the graphviz-java renderer this replaced, no GraalVM JS engine either, which broke application startup entirely on JDKs newer than 21.

Backend used by the PLP Swing BDD feature. A Graphviz-backed implementation can be injected by the executable module; the default renderer remains dependency-free and presents the canonical DOT representation.

CLI entry point for ide-plp-swing; see PlpSwingIdeCommand for the available options.

The SwingFeatureRendererRegistry ide-plp-swing wires into a plain ide-swing frame to add the BDD tab.