Générer par programmation vidéo ou GIF animé en Python?

J'ai une série d'images que je veux créer une vidéo à partir d'. Idéalement je pourrais spécifier l'image de la durée de chaque image, mais un cadre fixe taux serait bien aussi. Je fais cela en wxPython, afin que je puisse rendre à un wxDC ou je peux enregistrer les images dans les fichiers, comme le PNG. Est-il une bibliothèque Python qui va me permettre de créer une vidéo (AVI, MPG, etc) ou d'un GIF animé à partir de ces images?

Edit: j'ai déjà essayé de PIL et il ne semble pas fonctionner. Quelqu'un peut-il me corriger avec cette conclusion ou suggérer une autre boîte à outils? Ce lien semble sauvegarde ma conclusion concernant PIL: http://www.somethinkodd.com/oddthinking/2005/12/06/python-imaging-library-pil-and-animated-gifs/

InformationsquelleAutor FogleBird | 2009-04-15