How to efficiently animate a Graphviz graph?

Question

I would like to animate a Graphviz generated graph, changing the node labels and the node and edge colors.

I was creating the graphs using this Python interface for Graphviz. The only way to do that seems to be to create every image independently (although the changes between frames would be very small) and join all the images into an animation, as explained here.

Is there a more efficient way to create the animation, avoiding the creation of all these images independently?

Answer 1

There is also d3-graphviz, which takes a full dot graph description per animation step, converts it into an SVG, and then uses JavaScript to convert one graph into the other, and to inject animation.

You can see an example here.

Answer 2

There is a python package (GraphvizAnim) to do so. Being in alpha only, but non the less looking quite decent.