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.
Published: 10 Nov 2020
Dependencies (4)
Reverse Dependencies (103)
-
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"
Conflicts
-
None
Implements arithmetic and logical operations over arbitrary-precision integers
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
Authors
Maintainers
Sources
release-1.11.tar.gz
md5=95e8cb358b70f156328c552f1bde8d81
sha512=7c0645d63511d42b763cd0a33b3fb139c26d23ae0cf59cd651388644cb8e7c43a83265d55d69ff3320d8c4586c4f8dbd9c3412197bab2e110c38e6e7dac88b83