package zarith

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

Install 

dune-project
 Dependency

github.com Edit opam file Versions (6)

Authors

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

Maintainers

  1. Xavier Leroy

Sources

release-1.13.tar.gz
md5=b3529c5de89ab8c026943f73f6195ad9
sha512=a562fa8bf4f5ef44f2af6b9a8f028182fd184c89f8c41455acdc02851cc0fc3124d3776c0de930e8d09cd5d6d88cc689f80f4b597068a0611131f45d057b101f

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.

Added to opam-repository:

Dependencies (3)

  1. conf-gmp
  2. ocamlfind
  3. ocaml >= "4.04.0"

Dev Dependencies

None

  1. alonzo
  2. alt-ergo < "2.3.0"
  3. alt-ergo-free
  4. alt-ergo-lib
  5. altgr-ergo < "2.3.0"
  6. anders >= "1.1.1"
  7. asli
  8. aslref
  9. asn1-combinators < "0.3.1"
  10. atproto
  11. awa
  12. awsm
  13. awso
  14. bam
  15. bap-mips
  16. bap-patterns
  17. bap-powerpc
  18. bap-primus-random
  19. bap-primus-symbolic-executor
  20. bap-radare2
  21. bap-std
  22. bigdecimal
  23. bignum
  24. binsec
  25. bitpack_serializer
  26. bitvec
  27. bitwuzla >= "1.0.0"
  28. bitwuzla-cxx
  29. bls12-381 < "18.0" | >= "20.1"
  30. bls12-381-gen
  31. bls12-381-js-gen < "0.4.2"
  32. bls12-381-legacy
  33. bls12-381-unix
  34. bn128
  35. caisar
  36. calcium < "0.4.0"
  37. calli
  38. catala
  39. cborl
  40. class_group_vdf
  41. cloudi >= "2.0.6"
  42. clp_operations
  43. colibri2
  44. colibrics
  45. colibrilib
  46. coq >= "8.13.0" & < "8.17.0"
  47. coq-core < "9.0.0"
  48. coq-lsp >= "0.2.0+8.17" & != "0.2.0+8.20" & < "0.2.3+8.17" | = "0.2.3+9.0"
  49. cryptokit
  50. ctypes-zarith
  51. curve448
  52. data-encoding
  53. decimal
  54. dolmen_model
  55. exenum >= "0.84"
  56. farith
  57. feat
  58. ff
  59. ff-pbt
  60. ff-sig
  61. flint
  62. floatml
  63. fm-simplex-plugin
  64. frama-c
  65. frama-clang
  66. fstar < "2025.02.17"
  67. gemini
  68. giflib
  69. goblint
  70. goblint-cil >= "1.7.4"
  71. hacl
  72. hacl-star
  73. hardcaml
  74. herdtools7 >= "7.57"
  75. hol_light
  76. jasmin
  77. jose
  78. karamel
  79. kdl >= "0.2.0"
  80. key-parsers
  81. kremlin < "transition"
  82. lem
  83. libzipperposition < "2.1"
  84. logtk
  85. malfunction
  86. mc2
  87. mec
  88. mirage-crypto-pk
  89. mopsa
  90. nocrypto
  91. obeam
  92. ocplib-simplex >= "0.5.1"
  93. orgeat
  94. ortac-runtime
  95. osdp
  96. parsley
  97. patricia-tree < "0.10.0"
  98. pilat >= "1.6"
  99. pkcs11 >= "0.10.0"
  100. polynomial
  101. ppx_pbt >= "0.2.1"
  102. ppx_wideopen
  103. prbnmcn-basic-structures
  104. prbnmcn-proptest
  105. primes
  106. profiler-plugin
  107. randii
  108. rfc7748
  109. rocq-runtime
  110. safemoney
  111. sail < "0.15"
  112. salto-analyzer
  113. satML-plugin
  114. sexp_grammar >= "v0.16.0"
  115. smtml
  116. solidity-common
  117. soteria
  118. tezos-base58
  119. tezos-context-hash
  120. tptp
  121. ufind
  122. union-find-lattice
  123. voqc
  124. why3 >= "1.8.0"
  125. yices2
  126. yices2_bindings
  127. z3 >= "4.8.7"
  128. zarith-ppx
  129. zenon_modulo
  130. zipperposition < "2.1"
  131. zipperposition-tools < "2.1"

Conflicts

None