zarith 1.2
| Maintainer | contact@ocamlpro.com | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dependencies |
|
|||||||||||||
| Published | May 21, 2013 | |||||||||||||
| Source [http] |
http://forge.ocamlcore.org/frs/download.php/1187/zarith-1.2.tgz 077c927f337f8a19b55fa086ed35eab1 |
|||||||||||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/zarith/zarith.1.2/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 | ||
| bignum | ||
| bt | ||
| dht | ||
| nocrypto | ||
| tptp | ||
| Optional for | ||
| tplib |