Tenho uma série de imagens das quais quero criar um vídeo. Idealmente, eu poderia especificar uma duração de quadro para cada quadro, mas uma taxa de quadros fixa também seria boa. Estou fazendo isso no wxPython, para poder renderizar em um wxDC ou salvar as imagens em arquivos, como PNG. Existe uma biblioteca Python que me permita criar um vídeo (AVI, MPG, etc) ou um GIF animado desses quadro

Edit: Eu já tentei PIL e parece não funcionar. Alguém pode me corrigir com esta conclusão ou sugerir outro kit de ferramentas? Este link parece apoiar minha conclusão sobre PIL:http: //www.somethinkodd.com/oddthinking/2005/12/06/python-imaging-library-pil-and-animated-gifs