package num

  1. Overview
  2. Docs
The legacy Num library for arbitrary-precision integer and rational arithmetic

Install

Dune Dependency

github.com Edit opam file Versions (7)

Authors

  1. V
    Valérie Ménissier-Morain
  2. P
    Pierre Weis
  3. Xavier Leroy

Maintainers

  1. Xavier Leroy

Sources

v1.3.tar.gz
md5=f074e12325e84ebc883b37e5db10403d

Description

Published: 20 Nov 2019

Dependencies (2)

  1. ocamlfind build & >= "1.7.3"
  2. ocaml >= "4.06.0"

Dev Dependencies

None

Used by (81)

  1. aez
  2. alt-ergo < "2.3.0"
  3. alt-ergo-free < "2.3.3"
  4. alt-ergo-lib < "2.5.0"
  5. alt-ergo-lib-free
  6. altgr-ergo < "2.3.0"
  7. archetype >= "0.1.4"
  8. arrayjit
  9. base58
  10. batteries
  11. bignum >= "v0.10.0"
  12. camlprime
  13. cca
  14. cil
  15. clarity-lang
  16. cloudi >= "1.7.4" & < "2.0.6"
  17. coccinelle >= "1.0.0.1"
  18. combine
  19. coq < "8.14.0"
  20. core_kernel = "v0.9.0"
  21. cryptokit < "1.11"
  22. csvfields >= "v0.10.0"
  23. cubicle
  24. datalog >= "0.5" & < "0.6"
  25. deriving
  26. deriving-ocsigen < "0.5"
  27. exenum < "0.84"
  28. feat-num
  29. frama-c-base < "15.0"
  30. fstar < "0.9.4.0-beta0"
  31. General >= "0.4.0"
  32. glsurf
  33. goblint-cil < "1.7.4"
  34. hardcaml < "v0.12.0"
  35. hardcaml_waveterm
  36. js_of_ocaml >= "3.10.0"
  37. js_of_ocaml-compiler >= "3.10.0"
  38. js_of_ocaml-lwt >= "3.10.0"
  39. js_of_ocaml-ocamlbuild >= "3.10.0" & < "5.0"
  40. js_of_ocaml-ppx >= "3.10.0"
  41. js_of_ocaml-ppx_deriving_json >= "3.10.0"
  42. js_of_ocaml-toplevel >= "3.10.0"
  43. js_of_ocaml-tyxml >= "3.10.0"
  44. KaSim
  45. kappa-library
  46. kaputt
  47. kind2
  48. lem
  49. logtk >= "2.1"
  50. lustre-v6 >= "6.103.3"
  51. lutils
  52. lutin
  53. mldonkey >= "3.1.3"
  54. msgpack
  55. mysql_protocol
  56. neural_nets_lib
  57. numerix
  58. nunchaku
  59. obigstore
  60. ocamldbi
  61. ocamlyices
  62. ocplib-simplex < "0.5.1"
  63. ocs
  64. orm
  65. orpie
  66. pfff < "0.40.4"
  67. piqi >= "0.7.6"
  68. polka
  69. ppx_cstubs
  70. pyml >= "20180530" & < "20200115"
  71. rdbg < "1.175" | >= "1.199.0"
  72. rlp
  73. rml
  74. sexplib >= "v0.9.0"
  75. spirv < "1.1.2"
  76. TCSLib
  77. tplib
  78. why3 >= "1.0.0"
  79. why3-base != "0.88.0"
  80. z3 < "4.8.7"
  81. zipperposition < "1.2"