# Installer sollya avec Homebrew, apt, MacPorts, Nix

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de sollya pour les workflows d'agents IA.

## installation

```sh
sudo av install brew:sollya
```

Commandes d'installation supplémentaires:

### macOS

- Homebrew (100%):

```sh
brew install sollya
```

  Preuve: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install sollya
```

  Preuve: MacPorts ports tree: science/sollya/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

### Linux

- Debian apt (92%):

```sh
sudo apt install sollya
```

  Preuve: Debian stable package indexes: sollya from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

- Nix (92%):

```sh
nix profile install nixpkgs#sollya
```

  Preuve: nixpkgs package indexes: pkgs/by-name/so/sollya/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

## Faits du paquet

- **Clé du paquet:** brew:sollya
- **Gestionnaire de paquets:** Homebrew
- **Version:** 8.0
- **Résumé source:** Library for safe floating-point code development
- **Page d'accueil:** <https://www.sollya.org/>
- **Généré:** 2026-08-03T19:37:03+00:00

## exécutables

- sollya (alias)

## Comportement d'installation

- Bouteille: non disponible

## Version et fraîcheur

- page générée: 2026-08-03
- version du gestionnaire: 8.0
## Historique du projet et usages

Sollya is an interactive tool and library for safe floating-point code development, especially for implementing mathematical floating-point libraries.

### Historique du projet

The official site describes Sollya as both a tool environment and a library for safe floating-point code development, with features such as certified infinity norm computation, automatic polynomial implementation, and a fast Remez algorithm.

The official history page records Sollya 1.0 in January 2008 and a sequence of stable releases through Sollya 8.0 in March 2022. The GitLab repository is the current development source, while the official site also publishes weekly snapshots.

### Historique d'adoption

Sollya is a specialist numerical-computing package rather than a mainstream developer CLI. The supplied package-manager facts list Homebrew, Debian/Ubuntu development packages, MacPorts, and Nix, which is typical for scientific software that needs to be available in reproducible build environments.

### Modes d'utilisation

The manual describes Sollya as an interactive tool for accurate function evaluation, polynomial approximation, polynomial implementation for math libraries, plotting, and infinity-norm computation. The README documents conventional `./configure`, `make`, and `make install` builds and recommends `rlwrap` for interactive use.

### Pourquoi les passionnés de paquets s'y intéressent

Sollya is interesting to package maintainers because it links together exact arithmetic and numerical libraries such as GMP, MPFR, MPFI, FPLLL, libxml2, and gnuplot. It is a small command-line interface to a large stack of mathematical correctness machinery.

### Chronologie

- 2008: Sollya 1.0 is released.
- 2010: Sollya 2.0 is released.
- 2011: Sollya 3.0 is released.
- 2013: Sollya 4.0 and 4.1 are released.
- 2016: Sollya 5.0 and 6.0 are released.
- 2018: Sollya 7.0 is released.
- 2022: Sollya 8.0 is released.

### Related projects

- The official site points to Python bindings from the Metalibm developers. The README names FPLLL as a dependency, and the site discusses CRlibm-style C code and Gappa proofs among Sollya's use cases.

### Sources

- Input package-manager facts: source_facts.package-manager
- Official README: https://gitlab.inria.fr/sollya/sollya/-/blob/master/README
- Official history page: https://www.sollya.org/history.php
- Official manual: https://www.sollya.org/sollya-8.0/sollya.php
- Official repository: https://gitlab.inria.fr/sollya/sollya
- Official site: https://www.sollya.org/


## Notes de sécurité

library-like package without higher-risk signals.

- **Risque Geiger:** vert / faible
- library-like package without higher-risk signals

## Autres enregistrements de gestionnaires de paquets

- Debian apt - libsollya-dev - 8.0+ds-3: normalized package name match | Debian stable package indexes: libsollya-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | library for safe floating-point code development -- libdev | https://www.sollya.org/
- Debian apt - libsollya8 - 8.0+ds-3: normalized package name match | Debian stable package indexes: libsollya8 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | library for safe floating-point code development -- lib | https://www.sollya.org/
- Debian apt - sollya - 8.0+ds-3: normalized package name match | Debian stable package indexes: sollya from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | library for safe floating-point code development -- tool | https://www.sollya.org/
- Debian apt - sollya-doc - 8.0+ds-3: normalized package name match | Debian stable package indexes: sollya-doc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | library for safe floating-point code development -- doc | https://www.sollya.org/
- Nix - sollya: normalized package name match | nixpkgs package indexes: pkgs/by-name/so/sollya/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
- Ubuntu apt - libsollya-dev - 8.0+ds-2build3: normalized package name match | Ubuntu 24.04 LTS package indexes: libsollya-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | library for safe floating-point code development -- libdev | https://www.sollya.org/
- Ubuntu apt - libsollya8 - 8.0+ds-2build3: normalized package name match | Ubuntu 24.04 LTS package indexes: libsollya8 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | library for safe floating-point code development -- lib | https://www.sollya.org/
- Ubuntu apt - sollya - 8.0+ds-2build3: normalized package name match | Ubuntu 24.04 LTS package indexes: sollya from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | library for safe floating-point code development -- tool | https://www.sollya.org/
- Ubuntu apt - sollya-doc - 8.0+ds-2build3: normalized package name match | Ubuntu 24.04 LTS package indexes: sollya-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | library for safe floating-point code development -- doc | https://www.sollya.org/
- MacPorts - sollya: normalized package name match | MacPorts ports tree: science/sollya/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1


## Combined YAML source

View the package source record on GitHub. [combined/sollya.yml](https://github.com/mxcl/pkgdb/blob/main/combined/sollya.yml)


## Sources

- pkg.so package database
- Geiger risk classifier
- curated package history
- pkgdb category and tag curation
- external package-manager database matches
- cross-ecosystem install command graph