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 | https://github.com/ocaml/opam-repository/issues |
| Dependencies | |
| Source [http] | https://download.ocamlcore.org/zarith/Zarith/1.3/zarith-1.3.tgz sha256=946687d6f032b96ab9db9661d876e39437bff783e0ad473ac463c06259b7a3d7 md5=9ed8ddafdebfa8c1b673dbe91a181f66 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/zarith/zarith.1.3/opam |
Required by
- alt-ergo!=1.30 & <2.3.0
- alt-ergo-lib<2.4.1
- altgr-ergo<1.30
- archsat
- asli
- asn1-combinators<0.3.0
- awa
- awsm
- bap-mips>=2.2.0
- bap-patterns
- bap-powerpc
- bap-primus-random>=2.2.0
- bap-primus-symbolic-executor
- bap-radare2
- bap-std
- bitwuzla>=1.0.0
- bitwuzla-cxx
- bn128
- calli
- clp_operations
- ctypes-zarith
- exenum>=0.84
- farith
- feat
- fm-simplex-plugin<1.30
- frama-c<23.0
- fstar<2025.02.17
- gemini
- goblint-cil>=1.7.4
- hacl-star
- jose
- karamel
- kdlwith-test & >=0.2.0
- kremlin<transition
- letsencrypt<0.3.0
- libzipperposition<2.1
- logtk
- malfunction
- nocrypto
- ocplib-simplexwith-test & >=0.5.1
- ortac-runtime
- osdp<1.1.0
- parsley
- pilat<1.6
- pkcs11>=0.10.0
- ppx_wideopenwith-test
- primes
- profiler-plugin<1.30
- sail<0.15
- satML-plugin<1.30
- solidity-common
- tezos-base58
- tezos-context-hash
- tezos-stdlib<12.3
- tptp
- voqc<0.2.1
- why3>=1.8.0
- yices2
- yices2_bindings
- z3>=4.8.7
- zarith-ppx
- zarith-xen<1.4
- zipperposition<2.1
- zipperposition-tools<2.1
