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.4/zarith-1.4.tgz
sha256=98bc21d9e86c3726b5641e0a4c6e859a1bf52b3f691344187e432760386b4861
md5=8967de3cf9eabe1d73b663bc9916657d
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/zarith-xen/zarith-xen.1.4/opam
Required by