I’d like to be able to draw arcs between edges in graphs, as shown in the example below — I’m using them to communicate information about the parameterizations of graphical models, and doing it by hand gets pretty old.
I’ve been using graphviz, which doesn’t appear to supports that kind of annotation (if the answer confirming my fears at Connecting arcs between lines in Dot (GraphViz) isn’t correct, that would make my day — I really do need proper arcs and not the workaround the answer offers.) Are there any libraries (such as the JUNG library for Java) or tools that would make this possible?

Thanks,
Chris
You could consider reading in the layouted text output from dot, rendering the graph yourself and adding your annotation automatically. That would at least save you the (considerable) effort of implementing a routing algorithm.