我有一系列的图像，我想从中创建一个视频.理想情况下，我可以为每一帧指定一个帧持续时间，但固定的帧速率也可以.我在wxPython中做这个，所以我可以渲染到wxDC，或者我可以将图像保存到文件中，比如PNG.是否有Python库允许我从这些帧创建视频(AVI、MPG等)或动画GIF？
编辑:我已经试过PIL，但它似乎不起作用.有人能用这个结论纠正我吗，或者建议另一个工具包？这个链接似乎支持我关于PIL:http://www.somethinkodd.com/oddthinking/2005/12/06/python-imaging-library-pil-and-animated-gifs/的结论