package crlibm

  1. Overview
  2. No Docs
Binding to CRlibm, a correctly rounded math lib

Install

github.com Edit opam file

Authors

  1. C
    Christophe Troestler <Christophe.Troestler@umons.ac.be>

Maintainers

  1. C
    Christophe Troestler <Christophe.Troestler@umons.ac.be>

Sources

crlibm-0.5.1.tbz
sha256=fcc6ff4497eb168a91bac7967316164ff0d3e1ee776fed958718a9cd7c49983b
sha512=1b62bde2d45b74ef4b15b015c90bb0f0a292180b6436f8deab81d54ab08b9cede9265c82b309a4e5377f97181049d1430bce8867df025a09859f503de0eb8032

Description

Tags

libm math floating-point rounding science

Published: 11 Nov 2021

Dependencies (4)

  1. base-bytes build
  2. dune >= "2.0"
  3. dune-configurator >= "2.0"
  4. ocaml >= "4.03"

Dev Dependencies (1)

  1. benchmark with-test

Used by (1)

  1. interval_crlibm

Conflicts

None