package zarith

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

Install

Dune Dependency

forge.ocamlcore.org Edit opam file Versions (14)

Authors

  1. Xavier Leroy

Maintainers

  1. T
    thomas.braibant@gmail.com

Sources

zarith-1.4.tgz
md5=8967de3cf9eabe1d73b663bc9916657d

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 Nov 2015

Dev Dependencies

None

Used by (82)

  1. alt-ergo < "2.3.0"
  2. alt-ergo-free < "2.3.3"
  3. alt-ergo-lib != "2.4.2" & < "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.12.0"
  21. binsec
  22. bitvec
  23. bitwuzla >= "1.0.0"
  24. bitwuzla-cxx
  25. bn128
  26. bt
  27. calli
  28. clp_operations
  29. cryptokit >= "1.11"
  30. ctypes-zarith
  31. data-encoding
  32. dht < "0.2.0"
  33. exenum >= "0.84"
  34. farith
  35. feat
  36. fm-simplex-plugin
  37. frama-c >= "11.0" & != "15.0" & < "23.0"
  38. frama-c-base >= "15.0"
  39. fstar >= "0.9.3.0-beta1"
  40. gemini
  41. goblint-cil >= "1.7.4"
  42. hacl-star
  43. jose
  44. karamel
  45. key-parsers < "0.4.0"
  46. kremlin < "transition"
  47. lem
  48. letsencrypt < "0.3.0"
  49. libzipperposition < "2.1"
  50. logtk
  51. malfunction
  52. mirage-crypto-pk
  53. nocrypto
  54. ocplib-simplex >= "0.5.1"
  55. ortac-runtime
  56. osdp
  57. parsley
  58. pilat < "1.6"
  59. pkcs11 >= "0.10.0"
  60. ppx_wideopen
  61. primes
  62. profiler-plugin
  63. sail < "0.15"
  64. satML-plugin
  65. scaml
  66. solidity-common
  67. tezos-base58
  68. tezos-context-hash
  69. tezos-crypto < "8.0"
  70. tezos-protocol-environment >= "8.0" & < "11.0"
  71. tezos-stdlib < "11.0"
  72. tptp
  73. voqc < "0.2.1"
  74. why3 >= "0.84" & < "1.0.0"
  75. yices2
  76. yices2_bindings
  77. z3 >= "4.8.7"
  78. zarith-freestanding < "1.4.1"
  79. zarith-ppx
  80. zarith-xen = "1.4"
  81. zipperposition < "2.1"
  82. zipperposition-tools < "2.1"

Conflicts

None