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
Documentation github.com Edit opam file
Published
10 Nov 2020
Authors
Maintainers
Sources
release-1.11.tar.gz
md5=95e8cb358b70f156328c552f1bde8d81 sha512=7c0645d63511d42b763cd0a33b3fb139c26d23ae0cf59cd651388644cb8e7c43a83265d55d69ff3320d8c4586c4f8dbd9c3412197bab2e110c38e6e7dac88b83
Dependencies
conf-perl build
conf-gmp
ocamlfind build
ocaml
Reverse Dependencies
alt-ergo < "2.3.0"
alt-ergo-free < "2.3.3"
alt-ergo-lib
alt-ergo-lib-free
altgr-ergo < "2.3.0"
archsat
asli
asn1-combinators
awa
bamboo < "0.0.02"
bap < "1.0.0"
bap-mips >= "2.2.0"
bap-patterns
bap-powerpc
bap-primus-random >= "2.2.0"
bap-primus-symbolic-executor
bap-radare2
bap-std
bigdecimal
bignum >= "v0.13.0"
binsec
bitpack_serializer
bitvec
bitwuzla >= "1.0.0"
bls12-381
bls12-381-gen
bls12-381-js >= "0.4.2"
bls12-381-js-gen
bls12-381-legacy
bls12-381-unix
bn128
bt
caisar
catala < "0.5.0"
class_group_vdf
clp_operations
coq >= "8.13.0"
cryptokit >= "1.11"
ctypes-zarith
data-encoding
decimal
dht < "0.2.0"
dolmen_model
exenum >= "0.84"
farith
feat
ff
ff-pbt
ff-sig
fm-simplex-plugin
frama-c >= "11.0" & != "15.0"
frama-c-base >= "15.0"
fstar >= "0.9.3.0-beta1"
gemini
goblint >= "1.1.1"
goblint-cil >= "1.7.4"
hacl
hacl-star
hardcaml >= "v0.12.0"
jasmin
jose
key-parsers
kremlin
lem
letsencrypt < "0.3.0"
libzipperposition < "2.1"
logtk
malfunction
mc2
mec
mirage-crypto-pk
nocrypto
obeam
orgeat
osdp
parsley
pilat = "1.3"
pkcs11 >= "0.10.0"
polynomial
ppx_wideopen
prbnmcn-basic-structures
primes
profiler-plugin
rfc7748
sail < "0.15"
satML-plugin
scaml
solidity-common
tezos-base58
tezos-context-hash
tezos-crypto < "8.0"
tezos-protocol-environment >= "8.0" & < "11.0"
tezos-stdlib < "11.0"
tptp
voqc
why3 >= "0.84" & < "1.0.0"
yices2
yices2_bindings
z3 >= "4.8.7"
zarith-freestanding = "1.11"
zarith-ppx
zipperposition < "1.1" | >= "1.5.1" & < "2.1"
zipperposition-tools < "2.1"