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.14.tar.gz
sha256=5db9dcbd939153942a08581fabd846d0f3f2b8c67fe68b855127e0472d4d1859
sha512=8a7f3e82dfa5699c8dda54dd5398c712f3ac4fe04f5208d43d8ba198fb8152de5f91cbb59c15c0a4ba010d4dfcc79f52e405bdd0abbf2798167e9e4216bcb3dd

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: 15 Jul 2024

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. asli
  8. aslref
  9. asn1-combinators < "0.3.1"
  10. avro-simple
  11. awa
  12. awsm
  13. bam
  14. bap-mips
  15. bap-patterns
  16. bap-powerpc
  17. bap-primus-random
  18. bap-primus-symbolic-executor
  19. bap-radare2
  20. bap-std
  21. bigdecimal
  22. bignum
  23. binsec
  24. binsec_codex
  25. bitpack_serializer
  26. bitvec
  27. bitwuzla >= "1.0.0"
  28. bitwuzla-cxx
  29. bls12-381 < "18.0"
  30. bls12-381-gen
  31. bls12-381-js-gen < "0.4.2"
  32. bls12-381-legacy
  33. bls12-381-unix
  34. bn128
  35. caisar
  36. calcium < "0.4.0"
  37. calli
  38. catala
  39. cborl
  40. class_group_vdf
  41. cloudi >= "2.0.6"
  42. clp_operations
  43. codex
  44. colibri2
  45. colibrics
  46. colibrilib
  47. coq >= "8.13.0" & < "8.17.0"
  48. coq-core < "9.0.0"
  49. coq-lsp >= "0.2.0+8.17" & != "0.2.0+8.20" & < "0.2.3+8.17" | = "0.2.3+9.0"
  50. cryptokit
  51. ctypes-zarith
  52. data-encoding
  53. decimal
  54. diffast-misc = "0.3.5.1"
  55. dolmen_model
  56. exenum >= "0.84"
  57. farith
  58. feat
  59. ff
  60. ff-pbt
  61. ff-sig
  62. flint
  63. fm-simplex-plugin
  64. frama-c
  65. frama-clang
  66. frama_c_codex
  67. fstar
  68. gemini
  69. giflib
  70. goblint
  71. goblint-cil >= "1.7.4"
  72. hacl
  73. hacl-star
  74. hardcaml
  75. herdtools7 >= "7.57"
  76. hol_light
  77. jasmin
  78. jose
  79. karamel
  80. kdl >= "0.2.0"
  81. key-parsers
  82. kremlin < "transition"
  83. lem
  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. orgeat
  95. ortac-runtime
  96. osdp
  97. parsley
  98. patricia-tree < "0.10.0"
  99. pilat >= "1.6"
  100. pkcs11 >= "0.10.0"
  101. polynomial
  102. ppx_pbt >= "0.2.1"
  103. ppx_wideopen
  104. prbnmcn-basic-structures
  105. prbnmcn-proptest
  106. primes
  107. profiler-plugin
  108. randii
  109. rfc7748
  110. rocq-runtime
  111. safemoney
  112. sail < "0.15"
  113. salto-analyzer
  114. satML-plugin
  115. server-reason-react >= "0.4.1"
  116. sexp_grammar >= "v0.16.0"
  117. smtml
  118. solidity-common
  119. tezos-base58
  120. tezos-context-hash
  121. tptp
  122. ufind
  123. voqc
  124. why3 >= "1.8.0"
  125. yices2
  126. yices2_bindings
  127. z3 >= "4.8.7"
  128. zarith-ppx
  129. zenon_modulo
  130. zipperposition < "2.1"
  131. zipperposition-tools < "2.1"

Conflicts

None