./math/sollya, Environment and library for safe floating-point code development

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: pkgsrc-2022Q3, Version: 7.0nb5, Package name: sollya-7.0nb5, Maintainer: pkgsrc-users

Sollya 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)