Ich habe eine Reihe von Bildern, aus denen ich ein Video erstellen möchte. Idealerweise könnte ich für jedes Bild eine Bilddauer angeben, aber eine feste Bildrate wäre auch in Ordnung. Ich mache das in wxPython, damit ich in ein wxDC rendern oder die Bilder in Dateien wie PNG speichern kann. Gibt es eine Python-Bibliothek, mit der ich entweder ein Video (AVI, MPG usw.) oder ein animiertes GIF aus diesen Frames erstellen kann?
Edit: Ich habe PIL bereits ausprobiert und es scheint nicht zu funktionieren. Kann mich jemand mit dieser Schlussfolgerung korrigieren oder ein anderes Toolkit vorschlagen? Dieser Link scheint meine Schlussfolgerung in Bezug auf PIL zu stützen: http://www.somethinkodd.com/oddthinking/2005/12/06/python-imaging-library-pil-and-animated-gifs/