package num

  1. Overview
  2. Docs
The 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

Description

Published: 26 May 2017

Dependencies (2)

  1. base-num
  2. ocaml < "4.06.0"

Dev Dependencies

None

Used by (79)

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

Conflicts

None