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.7.tar.gz
sha256=d641bb66d04461111b75f2fc37ad1eec764dcf326d98a51ac078695baea2ab3a
md5=80944e2755ebb848451a77dc2ad0651b
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/zarith/zarith.1.7/opam