crlibm

Binding to CRlibm, a correctly rounded math lib
README


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.

Install
Published
10 Jun 2018
Sources
crlibm-0.2.tbz
md5=f7d0a67363df00fab66e3d898621b7b3
Dependencies
benchmark
with-test
stdio
build
base
build
jbuilder
>= "1.0+beta7"
ocaml
>= "4.02"
Reverse Dependencies