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.

Published: 03 Mar 2021

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

Conflicts

None