zarith
Implements arithmetic and logical operations over arbitrary-precision integers
Description
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.
Install
- Published
-
03 Mar 2021
- Authors
-
- Maintainers
-
Sources
release-1.12.tar.gz
md5=bf368f3d9e20b6b446d54681afc05a04
sha512=8075573ae65579a2606b37dd1b213032a07d220d28c733f9288ae80d36f8a2cc4d91632806df2503c130ea9658dc207ee3a64347c21aa53969050a208f5b2bb4
Dependencies
Reverse Dependencies
alt-ergo
< "2.3.0"
alt-ergo-free
< "2.3.3"
altgr-ergo
< "2.3.0"
anders
>= "1.1.1"
bamboo
< "0.0.02"
bap
< "1.0.0"
bap-mips
>= "2.2.0"
bap-primus-random
>= "2.2.0"
bignum
>= "v0.13.0"
bitwuzla
>= "1.0.0"
bls12-381-js-gen
< "0.4.2"
coq
>= "8.13.0"
cryptokit
>= "1.11"
dht
< "0.2.0"
exenum
>= "0.84"
frama-c
>= "11.0" & != "15.0"
frama-c-base
>= "15.0"
fstar
>= "0.9.3.0-beta1"
goblint
>= "1.1.1"
goblint-cil
>= "1.7.4"
hardcaml
>= "v0.12.0"
letsencrypt
< "0.3.0"
libzipperposition
< "2.1"
pilat
>= "1.3"
pkcs11
>= "0.10.0"
ppx_pbt
>= "0.2.1"
tezos-crypto
< "8.0" | >= "13.0"
tezos-micheline
>= "13.0"
tezos-protocol-environment
>= "11.0"
why3
>= "0.84" & < "1.0.0"
z3
>= "4.8.7"
zarith-freestanding
>= "1.12"
zipperposition
< "1.1" | >= "1.5.1" & < "2.1"
zipperposition-tools
< "2.1"