Ocaml-GMP
http://www-verimag.imag.fr/~monniaux/programmes.html.en
mlgmpidlは無駄にbigarrayとcamlidlを必要とするのですが、こっちは特に依存無しです。しかもOCaml風にラップしてくれてます。
ただし、一部インターフェースが端折られてるっぽい。
http://www-verimag.imag.fr/~monniaux/programmes.html.en
mlgmpidlは無駄にbigarrayとcamlidlを必要とするのですが、こっちは特に依存無しです。しかもOCaml風にラップしてくれてます。
ただし、一部インターフェースが端折られてるっぽい。