package zarith

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

Install

Dune Dependency

github.com Edit opam file Versions (14)

Authors

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

Maintainers

  1. Xavier Leroy

Sources

release-1.10.tar.gz
md5=21f01e86596665d2f3a79f70162e81c9
sha512=94958feccd3be863b4bcc7887f5108099962402ab6eddbae42420cd04323aafe930dac75c6f1f3d50d8f57cdd2108f1b25546999bac3f03a0a682127d5b67612

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

Conflicts

None