I was a software developer at Sony Pictures Imageworks/Animation for ten years and was there when we made that movie. The main software used for modeling and animation would have been Maya, with a lot of specialized plug-ins (many developed in-house). Other software such as Nuke for compositing would be involved.