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
LicenseLGPL-2.0-only WITH OCaml-LGPL-linking-exception
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.13.tar.gz
md5=b3529c5de89ab8c026943f73f6195ad9
sha512=a562fa8bf4f5ef44f2af6b9a8f028182fd184c89f8c41455acdc02851cc0fc3124d3776c0de930e8d09cd5d6d88cc689f80f4b597068a0611131f45d057b101f
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/zarith/zarith.1.13/opam
Optionally used by