Implement BDD, SDD, and VTree serialization to `dot`/graphviz#150

Draft

mattxwang wants to merge 3 commits intomainfrom dot-serialization

+135

Commits on Jul 21, 2023

First draft: DOT serialization with petgraph
mattxwang
committed

Commits on Jul 22, 2023