num

The legacy Num library for arbitrary-precision integer and rational arithmetic
Description
Install
Documentation github.com Edit opam file
Published
10 Nov 2020
Authors
Maintainers
Sources
v1.4.tar.gz
md5=cda2b727e116a0b6a9c03902cc4b2415 sha512=0cc9be8ad95704bb683b4bf6698bada1ee9a40dc05924b72adc7b969685c33eeb68ccf174cc09f6a228c48c18fe94af06f28bebc086a24973a066da620db8e6f
Dependencies
ocamlfind build & >= "1.7.3"
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
clarity-lang
cloudi >= "1.7.4"
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
ocamlyices
ocplib-simplex
ocs
orm
orpie
pfff < "0.40.4"
piqi >= "0.7.6"
polka
ppx_cstubs
pyml >= "20180530" & < "20200115"
rdbg < "1.175" | >= "1.196.12"
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"
Conflicts
ocaml-option-bytecode-only
base-num