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

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


Branch: pkgsrc-2020Q4, Version: 7.0nb2, Package name: sollya-7.0nb2, 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:

SHA1: ee14b55752842bc21dcd772204e4bc427844dea0
RMD160: fb207ccd874d70de0d9b2ee9667ea4e82fe31846
Filesize: 3635.648 KB

Version history: (Expand)