http://www-verimag.imag.fr/~monniaux/programmes.html.en mlgmpidlは無駄にbigarrayとcamlidlを必要とするのですが、こっちは特に依存無しです。しかもOCaml風にラップしてくれてます。 ただし、一部インターフェースが端折られてるっぽい。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。