[解決済み】PythonでビデオやアニメーションGIFをプログラム的に生成する？

質問

一連の画像からビデオを作りたいのですが、どうすればいいですか？ 理想的には、各フレームのフレーム長を指定することができますが、固定フレームレートでもかまいません。 私はwxPythonでこれをやっているので、wxDCにレンダリングしたり、PNGのようなファイルに画像を保存したりすることができます。 これらのフレームからビデオ（AVI、MPGなど）またはアニメーションGIFを作成することができるPythonライブラリはないでしょうか？

編集部：すでにPILを試してみましたが、うまくいかないようです。 どなたか、この結論について訂正するか、他のツールキットを提案していただけませんか？ このリンクは、PILに関する私の結論をバックアップするようです。 http://www.somethinkodd.com/oddthinking/2005/12/06/python-imaging-library-pil-and-animated-gifs/

解決方法は？

さて、今はImageMagickを使っています。 私はフレームをPNGファイルとして保存し、アニメーションGIFを作成するためにPythonからImageMagickのconvert.exeを呼び出すのです。 この方法の良いところは、各フレームに対して個別にフレーム期間を指定できることです。 残念ながら、これはImageMagickがマシンにインストールされていることに依存します。 彼らはPythonのラッパーを持っていますが、かなりくだらないし、サポートされていないようです。 まだ、他の提案にオープンです。