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: 10 Nov 2020

Dependencies (4)

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

Reverse Dependencies (103)

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

Conflicts

    None
Implements arithmetic and logical operations over arbitrary-precision integers

Install

Documentation github.com Edit opam file

Authors

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

Maintainers

  1. Xavier Leroy

Sources

release-1.11.tar.gz
md5=95e8cb358b70f156328c552f1bde8d81
sha512=7c0645d63511d42b763cd0a33b3fb139c26d23ae0cf59cd651388644cb8e7c43a83265d55d69ff3320d8c4586c4f8dbd9c3412197bab2e110c38e6e7dac88b83