package zarith

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

Install

Dune Dependency

Authors

Maintainers

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.

Published: 20 Jul 2023

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

Conflicts

None

OCaml

Innovation. Community. Security.