Я хотел бы анимировать сгенерированный Graphviz граф, изменив метки узлов, а также цвета узлов и краев.
Я создавал графики, используя этот интерфейс Python для Graphviz. Кажется, единственный способ сделать это - создать каждое изображение независимо (хотя изменения между кадрами будут очень небольшими) и объединить все изображения в анимацию, как объяснялось в здесь.
Есть ли более эффективный способ создания анимации, избегающий создания всех этих изображений независимо?