package zarith

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

Install

Dune Dependency

Authors

Maintainers

Sources

release-1.11.tar.gz
md5=95e8cb358b70f156328c552f1bde8d81
sha512=7c0645d63511d42b763cd0a33b3fb139c26d23ae0cf59cd651388644cb8e7c43a83265d55d69ff3320d8c4586c4f8dbd9c3412197bab2e110c38e6e7dac88b83

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: 10 Nov 2020

Dependencies (4)

  1. conf-perl build
  2. conf-gmp
  3. ocamlfind build
  4. ocaml

Dev Dependencies

None

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

Conflicts

None

OCaml

Innovation. Community. Security.