package zarith

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

Install

Dune Dependency

Authors

Maintainers

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 < "2.3.3"
  4. alt-ergo-lib
  5. alt-ergo-lib-free
  6. altgr-ergo < "2.3.0"
  7. anders >= "1.1.1"
  8. archsat
  9. asli
  10. asn1-combinators < "0.3.0"
  11. awa
  12. awsm
  13. bamboo < "0.0.02"
  14. bap < "1.0.0"
  15. bap-mips >= "2.2.0"
  16. bap-patterns
  17. bap-powerpc
  18. bap-primus-random >= "2.2.0"
  19. bap-primus-symbolic-executor
  20. bap-radare2
  21. bap-std
  22. bigdecimal
  23. bignum >= "v0.13.0"
  24. binsec
  25. bitpack_serializer
  26. bitvec
  27. bitwuzla >= "1.0.0"
  28. bitwuzla-cxx
  29. bls12-381 < "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. bt
  36. caisar
  37. calcium < "0.4.0"
  38. calli
  39. catala
  40. cborl
  41. class_group_vdf
  42. cloudi = "2.0.6"
  43. clp_operations
  44. colibri2
  45. colibrics
  46. colibrilib
  47. coq >= "8.13.0" & < "8.17.0"
  48. coq-core
  49. coq-lsp >= "0.2.0+8.17" & < "0.2.0+8.20"
  50. cryptokit >= "1.11"
  51. ctypes-zarith
  52. data-encoding
  53. decimal
  54. dht < "0.2.0"
  55. dolmen_model
  56. encoding
  57. exenum >= "0.84"
  58. farith
  59. feat
  60. ff
  61. ff-pbt
  62. ff-sig
  63. flint
  64. fm-simplex-plugin
  65. frama-c >= "11.0" & != "15.0"
  66. frama-c-base >= "15.0"
  67. frama-clang
  68. fstar >= "0.9.3.0-beta1"
  69. gemini
  70. goblint >= "1.1.1"
  71. goblint-cil >= "1.7.4"
  72. hacl
  73. hacl-star
  74. hardcaml >= "v0.12.0"
  75. herdtools7 >= "7.57"
  76. jasmin
  77. jose
  78. karamel
  79. key-parsers
  80. kremlin < "transition"
  81. lem
  82. letsencrypt < "0.3.0"
  83. libzipperposition < "2.1"
  84. logtk
  85. malfunction
  86. mc2
  87. mec
  88. mirage-crypto-pk < "1.0.0"
  89. mopsa
  90. nocrypto
  91. obeam
  92. ocplib-simplex >= "0.5.1"
  93. octez-l2-libs < "20.1"
  94. octez-libs < "20.1"
  95. octez-polynomial
  96. octez-proto-libs < "20.1"
  97. orgeat
  98. ortac-runtime
  99. osdp
  100. parsley
  101. pilat >= "1.3"
  102. pkcs11 >= "0.10.0"
  103. polynomial
  104. ppx_pbt >= "0.2.1"
  105. ppx_wideopen
  106. prbnmcn-basic-structures
  107. prbnmcn-proptest
  108. primes
  109. profiler-plugin
  110. randii
  111. rfc7748
  112. safemoney
  113. sail < "0.15"
  114. satML-plugin
  115. scaml
  116. sexp_grammar >= "v0.16.0"
  117. smtml
  118. solidity-common
  119. tezos-base58
  120. tezos-context-hash
  121. tezos-crypto < "8.0" | >= "13.0"
  122. tezos-hacl
  123. tezos-lazy-containers
  124. tezos-micheline >= "13.0"
  125. tezos-micheline-rewriting
  126. tezos-protocol-environment >= "11.0"
  127. tezos-stdlib
  128. tezos-webassembly-interpreter
  129. tptp
  130. voqc
  131. why3 >= "0.84" & < "1.0.0"
  132. yices2
  133. yices2_bindings
  134. z3 >= "4.8.7"
  135. zarith-freestanding >= "1.12"
  136. zarith-ppx
  137. zenon_modulo
  138. zipperposition < "1.1" | >= "1.5.1" & < "2.1"
  139. zipperposition-tools < "2.1"

Conflicts

None

OCaml

Innovation. Community. Security.