Зрасьте, есть у меня 365 файлов png. В принципе, они могли бы быть и в pdf или eps. Или svg. Ведь получаю я их при помощи matplotlib. Нужно из них собрать анимацию.
Сейчас делаю так:
mencoder mf://anim/*.png -mf type=png:fps=25 -ovc lavc -lavcopts vcodec=mpeg4 -oac copy -o output.avi
Может быть, есть более Ъ way? Например, сделать анимированный svg. Есть ли инструменты для этого?
А если нету, то каким кодеком и как лучше кодировать? От mpeg4 картинка явно потеряла чёткости.