What animation tools they used?

Could be anything, but since there is a lot of 3D my bet would be on Cinema 4D with some cel shaders.

See this: http://www.eyedesyn.com/tutorials/using-cel-shader-to-cast-s...