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

Install

github.com Edit opam file

Authors

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

Maintainers

  1. Xavier Leroy

Sources

v1.4.tar.gz
md5=cda2b727e116a0b6a9c03902cc4b2415
sha512=0cc9be8ad95704bb683b4bf6698bada1ee9a40dc05924b72adc7b969685c33eeb68ccf174cc09f6a228c48c18fe94af06f28bebc086a24973a066da620db8e6f

Description

Published: 10 Nov 2020

Dependencies (2)

  1. ocamlfind build & >= "1.7.3"
  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
  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. clarity-lang
  15. cloudi >= "1.7.4"
  16. coccinelle >= "1.0.0.1"
  17. combine
  18. coq < "8.14.0"
  19. core_kernel = "v0.9.0"
  20. cryptokit < "1.11"
  21. csvfields >= "v0.10.0"
  22. cubicle
  23. datalog >= "0.5" & < "0.6"
  24. deriving
  25. deriving-ocsigen < "0.5"
  26. exenum < "0.84"
  27. feat-num
  28. frama-c-base < "15.0"
  29. fstar < "0.9.4.0-beta0"
  30. General >= "0.4.0"
  31. glsurf
  32. goblint-cil < "1.7.4"
  33. hardcaml < "v0.12.0"
  34. hardcaml_waveterm
  35. js_of_ocaml >= "3.10.0"
  36. js_of_ocaml-compiler >= "3.10.0"
  37. js_of_ocaml-lwt >= "3.10.0"
  38. js_of_ocaml-ocamlbuild >= "3.10.0" & < "5.0"
  39. js_of_ocaml-ppx >= "3.10.0"
  40. js_of_ocaml-ppx_deriving_json >= "3.10.0"
  41. js_of_ocaml-toplevel >= "3.10.0"
  42. js_of_ocaml-tyxml >= "3.10.0"
  43. KaSim
  44. kappa-library
  45. kaputt
  46. kind2
  47. lem
  48. logtk >= "2.1"
  49. lustre-v6 >= "6.103.3"
  50. lutils
  51. lutin
  52. mldonkey >= "3.1.3"
  53. msgpack
  54. mysql_protocol
  55. numerix
  56. nunchaku
  57. obigstore
  58. ocamldbi
  59. ocamlyices
  60. ocplib-simplex
  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.196.12"
  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"