La librairie GMP peut être téléchargé depuis le site de » http://gmplib.org/#DOWNLOAD. Ce site propose aussi un manuel GMP.
Au moins la version 2 de GMP est requise, avec certaines fonctions nécessitant une version plus récente de la bibliothèque GMP.