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.11.tar.gz
md5=95e8cb358b70f156328c552f1bde8d81
sha512=7c0645d63511d42b763cd0a33b3fb139c26d23ae0cf59cd651388644cb8e7c43a83265d55d69ff3320d8c4586c4f8dbd9c3412197bab2e110c38e6e7dac88b83
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/zarith/zarith.1.11/opam
Required by
Optionally used by