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. archsat
  8. asli
  9. aslref
  10. asn1-combinators < "0.3.1"
  11. avro-simple
  12. awa
  13. awsm
  14. bam
  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. binsec_codex
  26. bitpack_serializer
  27. bitvec
  28. bitwuzla >= "1.0.0"
  29. bitwuzla-cxx
  30. bls12-381 < "18.0"
  31. bls12-381-gen
  32. bls12-381-js-gen < "0.4.2"
  33. bls12-381-legacy
  34. bls12-381-unix
  35. bn128
  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. codex
  45. colibri2
  46. colibrics
  47. colibrilib
  48. coq >= "8.13.0" & < "8.17.0"
  49. coq-core < "9.0.0"
  50. coq-lsp >= "0.2.0+8.17" & != "0.2.0+8.20" & < "0.2.3+8.17" | = "0.2.3+9.0"
  51. cryptokit
  52. ctypes-zarith
  53. data-encoding
  54. decimal
  55. diffast-misc = "0.3.5.1"
  56. dolmen_model
  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
  66. frama-clang
  67. frama_c_codex
  68. fstar
  69. gemini
  70. giflib
  71. goblint
  72. goblint-cil >= "1.7.4"
  73. hacl
  74. hacl-star
  75. hardcaml
  76. herdtools7 >= "7.57"
  77. hol_light
  78. jasmin
  79. jose
  80. karamel
  81. kdl >= "0.2.0"
  82. key-parsers
  83. kremlin < "transition"
  84. lem
  85. libzipperposition < "2.1"
  86. logtk
  87. malfunction
  88. mc2
  89. mec
  90. mirage-crypto-pk
  91. mopsa
  92. nocrypto
  93. obeam
  94. ocplib-simplex >= "0.5.1"
  95. orgeat
  96. ortac-runtime
  97. osdp
  98. parsley
  99. patricia-tree < "0.10.0"
  100. pilat >= "1.6"
  101. pkcs11 >= "0.10.0"
  102. polynomial
  103. ppx_pbt >= "0.2.1"
  104. ppx_wideopen
  105. prbnmcn-basic-structures
  106. prbnmcn-proptest
  107. primes
  108. profiler-plugin
  109. randii
  110. rfc7748
  111. rocq-runtime
  112. safemoney
  113. sail < "0.15"
  114. salto-analyzer
  115. satML-plugin
  116. server-reason-react >= "0.4.1"
  117. sexp_grammar >= "v0.16.0"
  118. smtml
  119. solidity-common
  120. tezos-base58
  121. tezos-context-hash
  122. tptp
  123. ufind
  124. voqc
  125. why3 >= "1.8.0"
  126. yices2
  127. yices2_bindings
  128. z3 >= "4.8.7"
  129. zarith-ppx
  130. zenon_modulo
  131. zipperposition < "2.1"
  132. zipperposition-tools < "2.1"

Conflicts

None