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.9.1.tar.gz
md5=af41b7534a4c91a8f774f04e307c1c66
sha512=e77620c66a59d35811acfc45c7ef3f0d50d3042194654b1f5b652a2ed5fb9d5f88e9173222e5ced286c61854434da05a4d96668089faa66ff2917afa677fc32f

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: 29 Aug 2019

Dependencies (4)

  1. conf-perl build
  2. conf-gmp
  3. ocamlfind build
  4. ocaml

Dev Dependencies

None

Used by (99)

  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. bitvec
  23. bitwuzla >= "1.0.0"
  24. bitwuzla-cxx
  25. bn128
  26. bt
  27. caisar
  28. calli
  29. clp_operations
  30. cryptokit >= "1.11"
  31. ctypes-zarith
  32. data-encoding
  33. dht < "0.2.0"
  34. encoding
  35. exenum >= "0.84"
  36. farith
  37. feat
  38. ff
  39. ff-pbt
  40. ff-sig
  41. fm-simplex-plugin
  42. frama-c >= "11.0" & != "15.0"
  43. frama-c-base >= "15.0"
  44. frama-clang
  45. fstar >= "0.9.3.0-beta1"
  46. gemini
  47. goblint >= "1.1.1"
  48. goblint-cil >= "1.7.4"
  49. hacl
  50. hacl-star
  51. hardcaml >= "v0.12.0" & < "v0.15.0"
  52. jasmin
  53. jose
  54. karamel
  55. key-parsers
  56. kremlin < "transition"
  57. lem
  58. letsencrypt < "0.3.0"
  59. libzipperposition < "2.1"
  60. logtk
  61. malfunction
  62. mc2
  63. mec
  64. mirage-crypto-pk
  65. nocrypto
  66. obeam
  67. ocplib-simplex >= "0.5.1"
  68. ortac-runtime
  69. osdp
  70. parsley
  71. pilat = "1.3"
  72. pkcs11 >= "0.10.0"
  73. polynomial
  74. ppx_wideopen
  75. primes
  76. profiler-plugin
  77. reason-standard
  78. rfc7748
  79. safemoney
  80. sail < "0.15"
  81. satML-plugin
  82. scaml
  83. smtml
  84. solidity-common
  85. tezos-base58
  86. tezos-context-hash
  87. tezos-crypto < "8.0"
  88. tezos-protocol-environment >= "8.0" & < "11.0"
  89. tezos-stdlib < "11.0"
  90. tptp
  91. voqc
  92. why3 >= "0.84" & < "1.0.0"
  93. yices2
  94. yices2_bindings
  95. z3 >= "4.8.7"
  96. zarith-freestanding = "1.9.1"
  97. zarith-ppx
  98. zipperposition < "1.1" | >= "1.5.1" & < "2.1"
  99. zipperposition-tools < "2.1"

Conflicts

None