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.
| Author | Xavier Leroy |
|---|---|
| Published | |
| Homepage | https://forge.ocamlcore.org/projects/zarith |
| Maintainer | thomas.braibant@gmail.com |
| Dependencies | |
| Conflicts |
|
| Source [http] | https://download.ocamlcore.org/zarith/Zarith/1.4.1/zarith-1.4.1.tgz md5=9ab2482d57f632c9cb3d10149138bc6e |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/zarith/zarith.1.4.1/opam |
Required by
- 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
- awa
- 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
- bignum<v0.12.0
- binsec
- bitvec
- bitwuzla>=1.0.0
- bn128
- bt
- clp_operations
- cryptokit>=1.11
- ctypes-zarith
- data-encoding
- dht<0.2.0
- exenum>=0.84
- farith
- feat
- fm-simplex-plugin
- frama-c>=11.0 & !=15.0 & <23.0
- frama-c-base>=15.0
- fstar>=0.9.3.0-beta1
- gemini
- goblint-cil>=1.7.4
- hacl-star
- jose
- key-parsers
- kremlin
- lem
- letsencrypt<0.3.0
- libzipperposition<2.1
- logtk
- malfunction
- mirage-crypto-pk
- nocrypto
- osdp
- parsley
- pilat
- pkcs11>=0.10.0
- ppx_wideopenwith-test
- primes
- profiler-plugin
- sail
- satML-plugin
- scaml
- solidity-common
- tezos-base58
- tezos-context-hash
- tezos-crypto<8.0
- tezos-protocol-environment>=8.0 & <11.0
- tezos-stdlib<11.0
- tptp
- voqc<0.2.1
- why3>=0.84 & <1.0.0
- yices2
- yices2_bindings
- z3>=4.8.7
- zarith-freestanding=1.4.1
- zarith-ppx
- zipperposition<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
