我有一系列要用来创建视频的图像。理想情况下，我可以为每个帧指定帧持续时间，但是固定帧速率也可以。我正在wxPython中进行此操作，因此可以渲染为wxDC，也可以将图像保存到文件中，例如PNG。是否有Python库可让我根据这些帧创建视频（AVI，MPG等）或动画GIF？

编辑：我已经尝试过PIL，它似乎不起作用。有人可以用这个结论纠正我还是建议其他工具箱？这个链接似乎是在备份关于PIL的结论：http :
//www.somethinkodd.com/oddthinking/2005/12/06/python-imaging-library-pil-and-
animated-gifs/