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.9.1.tar.gz
md5=af41b7534a4c91a8f774f04e307c1c66
sha512=e77620c66a59d35811acfc45c7ef3f0d50d3042194654b1f5b652a2ed5fb9d5f88e9173222e5ced286c61854434da05a4d96668089faa66ff2917afa677fc32f
StatisticsInstalled 6219 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/zarith/zarith.1.9.1/opam