mozart/mozart2 — pull request #149 by eregon (2014-03-03 15:56:32+00:00)
Title: Add BigInt to Mozart 2

All the functionality should be there now.

* The code passes Mozart1's tests as well as some custom ones.
* It supports using GMP or not and detects it properly with CMake.

Can you review?