package zarith

  1. Overview
  2. No 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. T
    thomas.braibant@gmail.com

Sources

zarith-1.1.tgz
md5=457fcb896da690d3d6d2bf6c320f3612

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: 21 Nov 2013

Dependencies (3)

  1. ocamlfind
  2. conf-gmp
  3. ocaml < "4.03.0"

Dev Dependencies

None

Used by (74)

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

Conflicts

None