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.12.tar.gz
md5=bf368f3d9e20b6b446d54681afc05a04
sha512=8075573ae65579a2606b37dd1b213032a07d220d28c733f9288ae80d36f8a2cc4d91632806df2503c130ea9658dc207ee3a64347c21aa53969050a208f5b2bb4

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

Conflicts

None