package num

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

Install 

dune-project
 Dependency

github.com Edit opam file Versions (3)

Authors

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

Maintainers

  1. Xavier Leroy

Sources

v1.5.tar.gz
md5=b1f9405dfe5f573ea187f122f789ae57
sha512=110dd01140c1c96f5f067aa824bb63f74a26411dcaa65aaf04cb6c44b116ca02aaab9505f431c66964388ce4a31d86da5928b4c0e5557800e834de80bed46495

Description

Published: 12 Jul 2024

Dependencies (1)

  1. ocaml >= "4.06.0" & < "5.4"

Dev Dependencies

None

Used by (68)

  1. aez
  2. alt-ergo < "2.3.0"
  3. alt-ergo-free
  4. alt-ergo-lib < "2.5.1"
  5. altgr-ergo < "2.3.0"
  6. archetype >= "0.1.4"
  7. arrayjit
  8. base58
  9. batteries
  10. bignum
  11. camlprime
  12. cca
  13. clarity-lang
  14. cloudi < "2.0.6"
  15. coccinelle
  16. combine
  17. coq < "8.14.0"
  18. csvfields
  19. cubicle
  20. deriving
  21. exenum < "0.84"
  22. feat-num
  23. General
  24. goblint-cil < "1.7.4"
  25. hardcaml_waveterm
  26. hol_light
  27. js_of_ocaml >= "3.10.0"
  28. js_of_ocaml-compiler >= "3.10.0"
  29. js_of_ocaml-lwt >= "3.10.0"
  30. js_of_ocaml-ocamlbuild >= "3.10.0" & < "5.0"
  31. js_of_ocaml-ppx >= "3.10.0"
  32. js_of_ocaml-ppx_deriving_json >= "3.10.0"
  33. js_of_ocaml-toplevel >= "3.10.0"
  34. js_of_ocaml-tyxml >= "3.10.0"
  35. kappa-library
  36. kaputt
  37. kind2
  38. lem
  39. logtk >= "2.1"
  40. lustre-v6 >= "6.103.3"
  41. lutils
  42. lutin
  43. mldonkey
  44. mlsolver
  45. msgpack
  46. mysql_protocol
  47. neural_nets_lib
  48. ocamlyices
  49. ocplib-simplex < "0.5.1"
  50. orm
  51. orpie
  52. pfff < "0.40.4"
  53. pgsolver >= "4.4"
  54. piqi >= "0.7.6"
  55. polka
  56. ppx_cstubs
  57. pyml = "20190626"
  58. rdbg >= "1.196.12"
  59. rlp
  60. rml
  61. sexplib
  62. spirv < "1.1.2"
  63. TCSLib
  64. tcs-lib
  65. tplib
  66. wasm_of_ocaml-compiler
  67. why3 < "1.8.0"
  68. z3 < "4.8.7"

Conflicts (1)

  1. base-num