If you want to support hundreds of codecs *and* containers, use ffmpeg. 
It would be pretty cool to generate MPEG4 while the animation renders :)

Post a reply to this message