package zarith
Implements arithmetic and logical operations over arbitrary-precision integers
Install
Dune Dependency
Authors
Maintainers
Sources
release-1.12.tar.gz
md5=bf368f3d9e20b6b446d54681afc05a04
sha512=8075573ae65579a2606b37dd1b213032a07d220d28c733f9288ae80d36f8a2cc4d91632806df2503c130ea9658dc207ee3a64347c21aa53969050a208f5b2bb4
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: 03 Mar 2021
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
-
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
< "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
< "1.0.0"
- mopsa
- nocrypto
- obeam
-
ocplib-simplex
>= "0.5.1"
-
octez-l2-libs
< "20.1"
-
octez-libs
< "20.1"
- octez-polynomial
-
octez-proto-libs
< "20.1"
- orgeat
- ortac-runtime
- osdp
- parsley
-
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" | >= "13.0"
- tezos-hacl
- tezos-lazy-containers
-
tezos-micheline
>= "13.0"
- tezos-micheline-rewriting
-
tezos-protocol-environment
>= "11.0"
- tezos-stdlib
- tezos-webassembly-interpreter
- tptp
- voqc
-
why3
>= "0.84" & < "1.0.0"
- yices2
- yices2_bindings
-
z3
>= "4.8.7"
-
zarith-freestanding
>= "1.12"
- 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