package crlibm
Binding to CRlibm, a correctly rounded math lib
Install
Dune Dependency
Authors
Maintainers
Sources
crlibm-0.5.tbz
sha256=ac0b9dd06a8842456b5e36551d84d2789c16256446ff2537be9091b1d44b8d27
sha512=e411323f39cf186f3145a9500c560ac8a94c1ff5fc4e6697067733a750f360404be6916e966c10cdc0bd66b0d6878ab1eadfc5586096226e5fea8b1db51a9e35
Description
README
README.md
Crlibm
This module is a binding to CRlibm, an efficient and proved correctly-rounded mathematical library. CRlibm is now superseded by MetaLibm but the latter requires some polishing and documentation. For the user convenience, this module embeds the relevant C code from the CRlibm Git repository.
Install
The easier is to use opam:
opam install crlibm
Documentation
See crlibm.mli, also available online.
Dependencies (4)
-
base-bytes
build -
dune
>= "2.0" -
dune-configurator
>= "2.0" -
ocaml
>= "4.03"
Dev Dependencies (1)
-
benchmark
with-test
Used by (1)
Conflicts
None