zarithversion
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 |
|---|---|
| License | LGPL-2.0-only WITH OCaml-LGPL-linking-exception |
| Published | |
| 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.13.tar.gz md5=b3529c5de89ab8c026943f73f6195ad9 sha512=a562fa8bf4f5ef44f2af6b9a8f028182fd184c89f8c41455acdc02851cc0fc3124d3776c0de930e8d09cd5d6d88cc689f80f4b597068a0611131f45d057b101f |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/zarith/zarith.1.13/opam |
Required by
- 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
- hol_light
- 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-simplexwith-test & >=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_wideopenwith-test
- prbnmcn-basic-structures
- prbnmcn-proptest
- primes
- profiler-plugin
- randiiwith-test
- 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
Optionally used by
- bitwuzla<1.0.0
- frama-c-base<15.0
- tplib
- why3>=1.0.0
- why3-base
