Sollya is both a tool environment and a library for safe floating-point code development
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.
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.
To install sollya, run the following command in macOS terminal (Applications->Utilities->Terminal)
sudo port install sollya
To see what files were installed by sollya, run:
port contents sollya
To later upgrade sollya, run:
sudo port selfupdate && sudo port upgrade sollya
Reporting an issue on MacPorts Trac
The MacPorts Project uses a system called Trac to file tickets to report bugs and enhancement requests.
Though anyone may search Trac for tickets, you must have a GitHub account in order to login to Trac to create tickets.