是否有免费的库可根据图像序列创建MPEG（或任何其他简单的视频格式）？
它也必须在Linux上运行，并且最好具有Python绑定。
我知道有一个mencoder（是mplayer项目的一部分）和ffmpeg，它们都可以做到这一点。
