package zarith

  1. Overview
  2. Docs
Implements arithmetic and logical operations over arbitrary-precision integers

Install

Dune Dependency

forge.ocamlcore.org Edit opam file Versions (14)

Authors

  1. Xavier Leroy

Maintainers

  1. H
    https://github.com/ocaml/opam-repository/issues

Sources

zarith-1.3.tgz
md5=9ed8ddafdebfa8c1b673dbe91a181f66

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: 08 Oct 2014

Dependencies (4)

  1. conf-perl build
  2. conf-gmp
  3. ocamlfind
  4. ocaml < "5.0"

Dev Dependencies

None

Used by (76)

  1. alt-ergo != "1.30" & < "2.3.0"
  2. alt-ergo-lib < "2.4.1"
  3. alt-ergo-lib-free
  4. altgr-ergo < "1.30"
  5. arakoon >= "1.8.6" & < "1.8.12"
  6. archsat
  7. asli
  8. asn1-combinators < "0.3.0"
  9. awa
  10. awsm
  11. bamboo < "0.0.02"
  12. bap < "1.0.0"
  13. bap-mips >= "2.2.0"
  14. bap-patterns
  15. bap-powerpc
  16. bap-primus-random >= "2.2.0"
  17. bap-primus-symbolic-executor
  18. bap-radare2
  19. bap-std
  20. bignum < "113.24.00"
  21. binsec < "0.4.0"
  22. bitwuzla >= "1.0.0"
  23. bitwuzla-cxx
  24. bn128
  25. bt
  26. calli
  27. clp_operations
  28. ctypes-zarith
  29. dht < "0.2.0"
  30. exenum >= "0.84"
  31. farith
  32. feat
  33. fm-simplex-plugin < "1.30"
  34. frama-c >= "11.0" & != "15.0" & < "23.0"
  35. frama-c-base >= "15.0"
  36. fstar >= "0.9.3.0-beta1"
  37. gemini
  38. goblint-cil >= "1.7.4"
  39. hacl-star
  40. jose
  41. karamel
  42. key-parsers < "0.4.0"
  43. kremlin < "transition"
  44. letsencrypt < "0.3.0"
  45. libzipperposition < "2.1"
  46. logtk
  47. malfunction
  48. nocrypto
  49. ocplib-simplex >= "0.5.1"
  50. ortac-runtime
  51. osdp < "1.1.0"
  52. parsley
  53. pilat < "1.6"
  54. pkcs11 >= "0.10.0"
  55. ppx_wideopen
  56. primes
  57. profiler-plugin < "1.30"
  58. sail < "0.15"
  59. satML-plugin < "1.30"
  60. scaml
  61. solidity-common
  62. tezos-base58
  63. tezos-context-hash
  64. tezos-crypto < "8.0"
  65. tezos-protocol-environment >= "8.0" & < "11.0"
  66. tezos-stdlib < "11.0"
  67. tptp
  68. voqc < "0.2.1"
  69. why3 >= "0.84" & < "1.0.0"
  70. yices2
  71. yices2_bindings
  72. z3 >= "4.8.7"
  73. zarith-ppx
  74. zarith-xen < "1.4"
  75. zipperposition < "2.1"
  76. zipperposition-tools < "2.1"

Conflicts

None