Перед установкой решений необходимо установить libgmp.

Для Debian-based систем:

sudo aptitude install libgmp3-dev

Для OS X:

brew install gmp

После можно установить сами решения:

git clone https://github.com/vslinko/diofant.git
cd diofant

• Проверить все задачи: make
• Проверить задачу: make problems/1059
• Узнать решение всех задач: make answers
• Узнать решение задачи: make problems/1059/answer.txt