Tengo una serie de imágenes a partir de las cuales quiero crear un video. Idealmente, podría especificar una duración de cuadro para cada cuadro, pero una velocidad de cuadro fija también estaría bien. Estoy haciendo esto en wxPython, por lo que puedo renderizar a un wxDC o puedo guardar las imágenes en archivos, como PNG. ¿Existe una biblioteca de Python que me permita crear un video (AVI, MPG, etc.) o un GIF animado a partir de estos cuadros?

Edit: ya he probado PIL y no parece funcionar. ¿Puede alguien corregirme con esta conclusión o sugerir otro conjunto de herramientas? Este enlace parece respaldar mi conclusión con respecto a PIL:http: //www.somethinkodd.com/oddthinking/2005/12/06/python-imaging-library-pil-and-animated-gifs