zarith 1.1
| Maintainer | contact@ocamlpro.com | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dependencies |
|
|||||||||||||
| Published | Aug 21, 2012 | |||||||||||||
| Source [http] |
http://forge.ocamlcore.org/frs/download.php/835/zarith-1.1.tgz 457fcb896da690d3d6d2bf6c320f3612 |
|||||||||||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/zarith/zarith.1.1/opam | |||||||||||||
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.
| Necessary for | ||
|---|---|---|
| alt-ergo | ||
| altgr-ergo | ||
| asn1-combinators | ||
| bt | ||
| dht | ||
| nocrypto | ||
| tptp | ||
| Optional for | ||
| tplib |