package zarith
Implements arithmetic and logical operations over arbitrary-precision integers
Install
Dune Dependency
Authors
Maintainers
Sources
release-1.13.tar.gz
md5=b3529c5de89ab8c026943f73f6195ad9
sha512=a562fa8bf4f5ef44f2af6b9a8f028182fd184c89f8c41455acdc02851cc0fc3124d3776c0de930e8d09cd5d6d88cc689f80f4b597068a0611131f45d057b101f
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: 20 Jul 2023
Dev Dependencies
None
- alonzo
-
alt-ergo
< "2.3.0"
-
alt-ergo-free
< "2.3.3"
- alt-ergo-lib
- alt-ergo-lib-free
-
altgr-ergo
< "2.3.0"
-
anders
>= "1.1.1"
- archsat
- asli
-
asn1-combinators
< "0.3.0"
- awa
- awsm
- bam
-
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" | >= "20.1"
- bls12-381-gen
-
bls12-381-js-gen
< "0.4.2"
- bls12-381-legacy
- bls12-381-unix
- bn128
- bt
- caisar
-
calcium
< "0.4.0"
- calli
- catala
- cborl
- class_group_vdf
-
cloudi
>= "2.0.6"
- clp_operations
- colibri2
- colibrics
- colibrilib
-
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
- flint
- 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
- mopsa
- nocrypto
- obeam
-
ocplib-simplex
>= "0.5.1"
-
octez-l2-libs
>= "20.1"
-
octez-libs
>= "20.1"
-
octez-proto-libs
>= "20.1"
- orgeat
- ortac-runtime
- osdp
- parsley
-
patricia-tree
< "0.10.0"
-
pilat
>= "1.3"
-
pkcs11
>= "0.10.0"
- polynomial
-
ppx_pbt
>= "0.2.1"
- ppx_wideopen
- prbnmcn-basic-structures
- prbnmcn-proptest
- primes
- profiler-plugin
- randii
- 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-stdlib
< "11.0"
- tptp
- voqc
-
why3
>= "0.84" & < "1.0.0"
- yices2
- yices2_bindings
-
z3
>= "4.8.7"
- 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