package 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.13.tar.gz
md5=b3529c5de89ab8c026943f73f6195ad9
sha512=a562fa8bf4f5ef44f2af6b9a8f028182fd184c89f8c41455acdc02851cc0fc3124d3776c0de930e8d09cd5d6d88cc689f80f4b597068a0611131f45d057b101f

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: 20 Jul 2023

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. awsm
  13. bamboo < "0.0.02"
  14. bap < "1.0.0"
  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. bitpack_serializer
  26. bitvec
  27. bitwuzla >= "1.0.0"
  28. bitwuzla-cxx
  29. bls12-381
  30. bls12-381-gen
  31. bls12-381-js-gen < "0.4.2"
  32. bls12-381-legacy
  33. bls12-381-unix
  34. bn128
  35. bt
  36. caisar
  37. calcium
  38. catala
  39. cborl
  40. class_group_vdf
  41. cloudi >= "2.0.6"
  42. clp_operations
  43. colibri2
  44. colibrics
  45. colibrilib
  46. coq >= "8.13.0" & < "8.17.0"
  47. coq-core
  48. cryptokit >= "1.11"
  49. ctypes-zarith
  50. data-encoding
  51. decimal
  52. dht < "0.2.0"
  53. dolmen_model
  54. exenum >= "0.84"
  55. farith
  56. feat
  57. ff
  58. ff-pbt
  59. ff-sig
  60. flint
  61. fm-simplex-plugin
  62. frama-c >= "11.0" & != "15.0"
  63. frama-c-base >= "15.0"
  64. frama-clang
  65. fstar >= "0.9.3.0-beta1"
  66. gemini
  67. goblint >= "1.1.1"
  68. goblint-cil >= "1.7.4"
  69. hacl
  70. hacl-star
  71. hardcaml >= "v0.12.0"
  72. jasmin
  73. jose
  74. karamel
  75. key-parsers
  76. kremlin < "transition"
  77. lem
  78. letsencrypt < "0.3.0"
  79. libzipperposition < "2.1"
  80. logtk
  81. malfunction
  82. mc2
  83. mec
  84. mirage-crypto-pk
  85. nocrypto
  86. obeam
  87. orgeat
  88. osdp
  89. parsley
  90. pilat >= "1.3"
  91. pkcs11 >= "0.10.0"
  92. polynomial
  93. ppx_pbt >= "0.2.1"
  94. ppx_wideopen
  95. prbnmcn-basic-structures
  96. prbnmcn-proptest
  97. primes
  98. profiler-plugin
  99. randii
  100. rfc7748
  101. safemoney
  102. sail < "0.15"
  103. satML-plugin
  104. scaml
  105. sexp_grammar >= "v0.16.0"
  106. solidity-common
  107. tezos-base58
  108. tezos-context-hash
  109. tezos-crypto < "8.0"
  110. tezos-stdlib < "11.0"
  111. tptp
  112. voqc
  113. why3 >= "0.84" & < "1.0.0"
  114. yices2
  115. yices2_bindings
  116. z3 >= "4.8.7"
  117. zarith-ppx
  118. zipperposition < "1.1" | >= "1.5.1" & < "2.1"
  119. zipperposition-tools < "2.1"

Conflicts

None