zarithversion

Implements arithmetic and logical operations over arbitrary-precision integers

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers. It uses GMP to efficiently implement arithmetic over big integers. Small integers are represented as Caml unboxed integers, for speed and space economy.

AuthorsAntoine Miné, Xavier Leroy and Pascal Cuoq
Published
Homepagehttps://github.com/ocaml/Zarith
Issue Trackerhttps://github.com/ocaml/Zarith/issues
MaintainerXavier Leroy <xavier.leroy@inria.fr>
Dependencies
Source [http] https://github.com/ocaml/Zarith/archive/release-1.10.tar.gz
md5=21f01e86596665d2f3a79f70162e81c9
sha512=94958feccd3be863b4bcc7887f5108099962402ab6eddbae42420cd04323aafe930dac75c6f1f3d50d8f57cdd2108f1b25546999bac3f03a0a682127d5b67612
StatisticsInstalled 1522 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/zarith/zarith.1.10/opam