zarithversion Documentation on ocaml.org
Implements arithmetic and logical operations over arbitrary-precision integers
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.
| Authors | Antoine Miné, Xavier Leroy and Pascal Cuoq |
|---|---|
| Homepage | https://github.com/ocaml/Zarith |
| Issue Tracker | https://github.com/ocaml/Zarith/issues |
| Maintainer | Xavier Leroy <xavier.leroy@inria.fr> |
| Dependencies | |
| Source [http] | https://github.com/ocaml/Zarith/archive/release-1.10.tar.gz md5=21f01e86596665d2f3a79f70162e81c9 sha512=94958feccd3be863b4bcc7887f5108099962402ab6eddbae42420cd04323aafe930dac75c6f1f3d50d8f57cdd2108f1b25546999bac3f03a0a682127d5b67612 |
Required by
- alt-ergo<2.3.0
- alt-ergo-free
- alt-ergo-lib<2.5.1
- altgr-ergo<2.3.0
- asli
- asn1-combinators<0.3.1
- atproto
- awa
- awsm
- awso
- bap-mips
- bap-patterns
- bap-powerpc
- bap-primus-random
- bap-primus-symbolic-executor
- bap-radare2
- bap-std
- bignum<v0.15.0
- binsec<0.11.0
- bitpack_serializer
- bitvec
- bitwuzla>=1.0.0
- bitwuzla-cxx
- bls12-381<18.0
- bls12-381-gen
- bls12-381-jswith-test & >=0.4.2
- bls12-381-js-gen
- bls12-381-legacy
- bls12-381-unix
- bn128
- caisar
- calli
- catala<0.5.0
- class_group_vdf
- clp_operations
- coq>=8.13.0 & <8.16.0
- cryptokit<1.21.1
- ctypes-zarith
- data-encoding
- decimal
- dolmen_model
- exenum>=0.84
- farith
- feat
- ff
- ff-pbt
- ff-sig
- fm-simplex-plugin
- frama-c<32.0~beta
- frama-clang
- fstar<2025.02.17
- gemini
- giflib
- goblint<2.8.0
- goblint-cil>=1.7.4
- hacl
- hacl-star
- hardcaml<v0.15.0
- herdtools7=7.57
- hol_light
- jasmin
- jose
- karamel
- kdlwith-test & >=0.2.0
- key-parsers
- kremlin<transition
- lem
- libzipperposition<2.1
- logtk
- malfunction
- mc2
- mec
- mirage-crypto-pk<1.1.0
- mopsa
- nocrypto
- obeam
- ocplib-simplexwith-test & >=0.5.1
- ortac-runtime
- osdp
- parsley
- pkcs11>=0.10.0
- polynomial
- ppx_wideopenwith-test
- prbnmcn-basic-structures
- primes
- profiler-plugin
- reason-standard
- rfc7748
- safemoney
- sail<0.15
- satML-plugin
- smtml
- solidity-common
- soteria<0.2.3
- tezos-base58
- tezos-context-hash
- tptp
- ufind
- union-find-latticewith-test
- voqc
- why3>=1.8.0
- yices2
- yices2_bindings
- z3>=4.8.7
- zarith-ppx
- zipperposition<2.1
- zipperposition-tools<2.1
