package zarith
Implements arithmetic and logical operations over arbitrary-precision integers
Install
Dune Dependency
Authors
Maintainers
Sources
release-1.11.tar.gz
md5=95e8cb358b70f156328c552f1bde8d81
sha512=7c0645d63511d42b763cd0a33b3fb139c26d23ae0cf59cd651388644cb8e7c43a83265d55d69ff3320d8c4586c4f8dbd9c3412197bab2e110c38e6e7dac88b83
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
Dev Dependencies
None
-
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
< "0.3.0"
- awa
- awsm
-
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"
- bitwuzla-cxx
-
bls12-381
< "18.0"
- bls12-381-gen
-
bls12-381-js
>= "0.4.2"
- bls12-381-js-gen
- bls12-381-legacy
- bls12-381-unix
- bn128
- bt
- caisar
- calli
-
catala
< "0.5.0"
- class_group_vdf
- clp_operations
-
coq
>= "8.13.0" & < "8.17.0"
- coq-core
-
coq-lsp
>= "0.2.0+8.17" & < "0.2.0+8.20"
-
cryptokit
>= "1.11"
- ctypes-zarith
- data-encoding
- decimal
-
dht
< "0.2.0"
- dolmen_model
- encoding
-
exenum
>= "0.84"
- farith
- feat
- ff
- ff-pbt
- ff-sig
- fm-simplex-plugin
-
frama-c
>= "11.0" & != "15.0"
-
frama-c-base
>= "15.0"
- frama-clang
-
fstar
>= "0.9.3.0-beta1"
- gemini
-
goblint
>= "1.1.1"
-
goblint-cil
>= "1.7.4"
- hacl
- hacl-star
-
hardcaml
>= "v0.12.0"
-
herdtools7
>= "7.57"
- jasmin
- jose
- karamel
- key-parsers
-
kremlin
< "transition"
- lem
-
letsencrypt
< "0.3.0"
-
libzipperposition
< "2.1"
- logtk
- malfunction
- mc2
- mec
-
mirage-crypto-pk
< "1.0.0"
- mopsa
- nocrypto
- obeam
-
ocplib-simplex
>= "0.5.1"
- orgeat
- ortac-runtime
- osdp
- parsley
-
pilat
= "1.3"
-
pkcs11
>= "0.10.0"
- polynomial
- ppx_wideopen
- prbnmcn-basic-structures
- primes
- profiler-plugin
- rfc7748
- safemoney
-
sail
< "0.15"
- satML-plugin
- scaml
-
sexp_grammar
>= "v0.16.0"
- smtml
- 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
- zenon_modulo
-
zipperposition
< "1.1" | >= "1.5.1" & < "2.1"
-
zipperposition-tools
< "2.1"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page