How to efficiently animate a Graphviz graph?

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

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.