zarith-xenversion

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.

AuthorXavier Leroy
Published
Homepagehttps://forge.ocamlcore.org/projects/zarith
Maintainermirageos-devel
Dependencies
Source [http] https://download.ocamlcore.org/zarith/Zarith/1.3/zarith-1.3.tgz
md5=9ed8ddafdebfa8c1b673dbe91a181f66
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/zarith-xen/zarith-xen.1.3/opam
Required by