我有一系列的图片，我想从中创建一个视频。理想情况下，我可以为每帧指定帧持续时间，但固定的帧速率也可以。我在wxPython中这样做，所以我可以渲染到wxDC或我可以将图像保存到文件，如PNG。是否有一个Python库，将允许我创建一个视频(AVI, MPG等)或一个动画GIF从这些帧?

编辑:我已经尝试过PIL，它似乎不起作用。有人能用这个结论来纠正我吗?这个链接似乎支持我关于PIL的结论:http://www.somethinkodd.com/oddthinking/2005/12/06/python-imaging-library-pil-and-animated-gifs/