package zarith

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

Install

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

Conflicts

None

OCaml

Innovation. Community. Security.