Closed KirkMcDonald closed 7 years ago
Dumping the graph to .dot format should be easy, and I believe there's more than one dot renderer available for JavaScript. Other graph-rendering methods might also be worth looking at.
Added in 6979040b1096a79cfe5d6431176700272b3ebba7.
Dumping the graph to .dot format should be easy, and I believe there's more than one dot renderer available for JavaScript. Other graph-rendering methods might also be worth looking at.