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

Install

github.com Edit opam file

Authors

  1. A
    Antoine Miné
  2. Xavier Leroy
  3. P
    Pascal Cuoq

Maintainers

  1. Xavier Leroy

Sources

release-1.12.tar.gz
md5=bf368f3d9e20b6b446d54681afc05a04
sha512=8075573ae65579a2606b37dd1b213032a07d220d28c733f9288ae80d36f8a2cc4d91632806df2503c130ea9658dc207ee3a64347c21aa53969050a208f5b2bb4

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: 03 Mar 2021

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
  11. awa
  12. bamboo < "0.0.02"
  13. bap < "1.0.0"
  14. bap-mips >= "2.2.0"
  15. bap-patterns
  16. bap-powerpc
  17. bap-primus-random >= "2.2.0"
  18. bap-primus-symbolic-executor
  19. bap-radare2
  20. bap-std
  21. bigdecimal
  22. bignum >= "v0.13.0"
  23. binsec
  24. bitpack_serializer
  25. bitvec
  26. bitwuzla >= "1.0.0"
  27. bls12-381
  28. bls12-381-gen
  29. bls12-381-js-gen < "0.4.2"
  30. bls12-381-legacy
  31. bls12-381-unix
  32. bn128
  33. bt
  34. caisar
  35. calcium
  36. catala
  37. cborl
  38. class_group_vdf
  39. clp_operations
  40. colibri2
  41. colibrics
  42. colibrilib
  43. coq >= "8.13.0" & < "8.17.0"
  44. coq-core
  45. cryptokit >= "1.11"
  46. ctypes-zarith
  47. data-encoding
  48. decimal
  49. dht < "0.2.0"
  50. dolmen_model
  51. exenum >= "0.84"
  52. farith
  53. feat
  54. ff
  55. ff-pbt
  56. ff-sig
  57. flint
  58. fm-simplex-plugin
  59. frama-c >= "11.0" & != "15.0"
  60. frama-c-base >= "15.0"
  61. fstar >= "0.9.3.0-beta1"
  62. gemini
  63. goblint >= "1.1.1"
  64. goblint-cil >= "1.7.4"
  65. hacl
  66. hacl-star
  67. hardcaml >= "v0.12.0"
  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
  81. nocrypto
  82. obeam
  83. orgeat
  84. osdp
  85. parsley
  86. pilat >= "1.3"
  87. pkcs11 >= "0.10.0"
  88. polynomial
  89. ppx_pbt >= "0.2.1"
  90. ppx_wideopen
  91. prbnmcn-basic-structures
  92. prbnmcn-proptest
  93. primes
  94. profiler-plugin
  95. randii
  96. rfc7748
  97. sail < "0.15"
  98. satML-plugin
  99. scaml
  100. solidity-common
  101. tezos-base58
  102. tezos-context-hash
  103. tezos-crypto < "8.0" | >= "13.0"
  104. tezos-hacl
  105. tezos-lazy-containers
  106. tezos-micheline >= "13.0"
  107. tezos-micheline-rewriting
  108. tezos-protocol-environment >= "11.0"
  109. tezos-stdlib
  110. tezos-webassembly-interpreter
  111. tptp
  112. voqc
  113. why3 >= "0.84" & < "1.0.0"
  114. yices2
  115. yices2_bindings
  116. z3 >= "4.8.7"
  117. zarith-freestanding >= "1.12"
  118. zarith-ppx
  119. zipperposition < "1.1" | >= "1.5.1" & < "2.1"
  120. zipperposition-tools < "2.1"

Conflicts

None