sollya (science/sollya) Updated: 1 month, 3 weeks ago Add to my watchlist
Sollya is both a tool environment and a library for safe floating-point code developmentSollya 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.
Version: 8.0 License: CeCILL-C
GitHub
| Maintainers | langly |
| Categories | science |
| Homepage | https://www.sollya.org/ |
| Platforms | darwin |
| Variants |
|
"sollya" depends on
lib (6)
build (1)
Ports that depend on "sollya"
No ports
Port Health:
Loading Port Health