Path to this page:
./
math/sollya,
Environment and library for safe floating-point code development
Branch: pkgsrc-2022Q2,
Version: 7.0nb5,
Package name: sollya-7.0nb5,
Maintainer: pkgsrc-usersSollya is both a tool environment and a library for safe floating-point
code development. It is particularily targeted to the automatized
implementation of mathematical floating-point libraries (libm). Amongst
other features, it offers a certified infinity (supremum) norm and a
fast Remez algorithm.
Master sites:
Filesize: 3635.648 KB
Version history: (Expand)
- (2022-06-30) Package added to pkgsrc.se, version sollya-7.0nb5 (created)