num

The Num library for arbitrary-precision integer and rational arithmetic
Description
Install
Documentation github.com Edit opam file
Published
26 May 2017
Authors
Maintainers
Dependencies
base-num
ocaml < "4.06.0"
Reverse Dependencies
aez
alt-ergo < "2.3.0"
alt-ergo-free < "2.3.3"
alt-ergo-lib
alt-ergo-lib-free
altgr-ergo < "2.3.0"
archetype >= "0.1.4"
base58
batteries
bignum >= "v0.10.0"
camlprime
cil
cloudi >= "1.7.4" & < "2.0.2"
coccinelle >= "1.0.0.1"
combine
coq < "8.14.0"
core_kernel = "v0.9.0"
cryptokit < "1.11"
csvfields >= "v0.10.0"
cubicle
datalog >= "0.5" & < "0.6"
deriving
deriving-ocsigen < "0.5"
exenum < "0.84"
feat-num
frama-c-base < "15.0"
fstar < "0.9.4.0-beta0"
General >= "0.4.0"
glsurf
goblint-cil < "1.7.4"
hardcaml < "v0.12.0"
hardcaml_waveterm
js_of_ocaml >= "3.10.0"
js_of_ocaml-compiler >= "3.10.0"
js_of_ocaml-lwt >= "3.10.0"
js_of_ocaml-ocamlbuild >= "3.10.0" & < "5.0"
js_of_ocaml-ppx >= "3.10.0"
js_of_ocaml-ppx_deriving_json >= "3.10.0"
js_of_ocaml-toplevel >= "3.10.0"
js_of_ocaml-tyxml >= "3.10.0"
KaSim
kappa-library
kaputt
kind2
lem
logtk >= "2.1"
lustre-v6 >= "6.103.3"
lutils
lutin
mldonkey >= "3.1.3"
msgpack
mysql_protocol
numerix
nunchaku
obigstore
ocamldbi
ocamlfind < "1.7.3"
ocamlyices
ocplib-simplex
ocs
orm
orpie
pfff < "0.40.4"
piqi >= "0.7.6"
polka
ppx_cstubs
pyml >= "20180530" & < "20200115"
rdbg < "1.175" | >= "1.199.0"
rlp
rml
sexplib >= "v0.9.0"
spirv < "1.1.2"
TCSLib
tplib
why3 >= "1.0.0"
why3-base != "0.88.0"
z3 < "4.8.7"
zipperposition < "1.2"