sollya ☆

« Back to VersTracker

Description:
Library for safe floating-point code development

Type: Formula | Tracked Since: Dec 28, 2025

Links: Homepage | formulae.brew.sh

Category: Developer tools

Tags: mathematics floating-point development numerical-analysis library

Install: brew install sollya

About:
Sollya is a specialized library and tool designed for the development of safe floating-point mathematical code. It provides a high-precision environment for evaluating mathematical expressions and proving bounds on rounding errors. This tool is essential for developers working on numerical analysis where accuracy and reliability are critical.

Key Features:

High-precision arithmetic evaluation
Automatic generation of polynomial approximations
Support for rigorous error bounding and certification
Interactive tool for numerical testing

Use Cases:

Verifying numerical accuracy of floating-point algorithms
Generating optimized polynomial approximations for mathematical functions
Research in computer arithmetic and numerical analysis

Alternatives:

GMP / MPFR – Sollya builds upon MPFR but provides higher-level functions specifically for function approximation and error analysis.
MATLAB / Mathematica – Sollya is specialized for rigorous floating-point analysis and code generation, whereas these are general-purpose CAS tools.

Version History

Detected	Version	Rev	Change	Commit
Sep 15, 2025 8:43am		2	VERSION_BUMP	6ec7b9aa
Sep 13, 2024 10:38pm		1	VERSION_BUMP	218bc8a9