package zarith

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

Install

Dune Dependency

github.com Edit opam file Versions (14)

Authors

  1. A
    Antoine Miné
  2. Xavier Leroy
  3. P
    Pascal Cuoq

Maintainers

  1. Xavier Leroy

Sources

release-1.7.tar.gz
md5=80944e2755ebb848451a77dc2ad0651b

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: 07 Feb 2020

Dev Dependencies

None

Used by (89)

  1. alt-ergo < "2.3.0"
  2. alt-ergo-free < "2.3.3"
  3. alt-ergo-lib < "2.5.0"
  4. alt-ergo-lib-free
  5. altgr-ergo < "2.3.0"
  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 < "v0.15.0"
  21. binsec
  22. bitvec
  23. bitwuzla >= "1.0.0"
  24. bitwuzla-cxx
  25. bn128
  26. bt
  27. caisar
  28. calli
  29. clp_operations
  30. cryptokit >= "1.11"
  31. ctypes-zarith
  32. data-encoding
  33. dht < "0.2.0"
  34. encoding
  35. exenum >= "0.84"
  36. farith
  37. feat
  38. fm-simplex-plugin
  39. frama-c >= "11.0" & != "15.0"
  40. frama-c-base >= "15.0"
  41. frama-clang
  42. fstar >= "0.9.3.0-beta1"
  43. gemini
  44. goblint-cil >= "1.7.4"
  45. hacl
  46. hacl-star
  47. hardcaml >= "v0.12.0" & < "v0.15.0"
  48. jose
  49. karamel
  50. key-parsers
  51. kremlin < "transition"
  52. lem
  53. letsencrypt < "0.3.0"
  54. libzipperposition < "2.1"
  55. logtk
  56. malfunction
  57. mirage-crypto-pk
  58. nocrypto
  59. obeam
  60. ocplib-simplex >= "0.5.1"
  61. ortac-runtime
  62. osdp
  63. parsley
  64. pilat < "1.6"
  65. pkcs11 >= "0.10.0"
  66. ppx_wideopen
  67. primes
  68. profiler-plugin
  69. rfc7748
  70. safemoney
  71. sail < "0.15"
  72. satML-plugin
  73. scaml
  74. smtml
  75. solidity-common
  76. tezos-base58
  77. tezos-context-hash
  78. tezos-crypto < "8.0"
  79. tezos-protocol-environment >= "8.0" & < "11.0"
  80. tezos-stdlib < "11.0"
  81. tptp
  82. voqc
  83. why3 >= "0.84" & < "1.0.0"
  84. yices2
  85. yices2_bindings
  86. z3 >= "4.8.7"
  87. zarith-ppx
  88. zipperposition < "2.1"
  89. zipperposition-tools < "2.1"

Conflicts

None