# 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
- **Page du gestionnaire de paquets:** <https://formulae.brew.sh/formula/sollya>
- **Version:** 8.0
- **Résumé source:** Library for safe floating-point code development
- **Page d'accueil:** <https://www.sollya.org/>
- **Docs amont:** <https://www.sollya.org/>
- **Licence:** CECILL-C
- **Archive source:** <https://www.sollya.org/releases/sollya-8.0/sollya-8.0.tar.gz>
- **Généré:** 2026-08-04T22:13:35+00:00

## exécutables

- sollya (cli)
- sollya (alias)

## Dépendances

- fplll
- gmp
- mpfi
- mpfr

## Dépendances de compilation

- automake

## Bibliothèques fournies par macOS

- libxml2

## Comportement d'installation

- hook post-installation: non défini
- Bouteille: disponible sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## Version et fraîcheur

- page générée: 2026-08-04
- version du gestionnaire: 8.0
- données locales: OK
- dépôt amont: https://www.sollya.org/
- info: No package-manager update timestamp was available.
- info: Release/tag comparison is only available for GitHub repositories.
## 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

## Détails de la base source

- **Source Database:** Homebrew formula API
- **Tap:** homebrew/core
- **Full Name:** sollya
- **Version Scheme:** 0
- **Revision:** 3
- **Bottle Stable Root URL:** <https://ghcr.io/v2/homebrew/core>
- **Deprecated:** no
- **Disabled:** no
- **Keg Only:** no
- **URL Keys:** stable

## 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


## Liens liés

- [Terminal utility packages](https://pkg.so/fr/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Developer build packages](https://pkg.so/fr/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata.
- [Networking and protocol packages](https://pkg.so/fr/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata.
- [Scientific computing packages](https://pkg.so/fr/scientific-computing-tools/) - Matched scientific computing metadata.
- [fplll](https://pkg.so/fr/brew/fplll/) - Runtime dependency declared by Homebrew.
- [automake](https://pkg.so/fr/brew/automake/) - Build dependency declared by Homebrew.
- [suite-sparse](https://pkg.so/fr/brew/suite-sparse/) - Shares pkgdb curated category or tags: cli, mathematics, science.
- [maxima](https://pkg.so/fr/brew/maxima/) - Shares pkgdb curated category or tags: cli, mathematics, science.
- [calc](https://pkg.so/fr/brew/calc/) - Shares pkgdb curated category or tags: cli, mathematics, science.
- [wxmaxima](https://pkg.so/fr/brew/wxmaxima/) - Shares pkgdb curated category or tags: cli, mathematics, science.
- [singular](https://pkg.so/fr/brew/singular/) - Shares pkgdb curated category or tags: cli, mathematics, science.
- [pari](https://pkg.so/fr/brew/pari/) - Shares pkgdb curated category or tags: cli, mathematics, science.
- [cddlib](https://pkg.so/fr/brew/cddlib/) - Shares pkgdb curated category or tags: cli, mathematics, science.
- [primecount](https://pkg.so/fr/brew/primecount/) - Shares pkgdb curated category or tags: cli, mathematics, science.
- [ppl](https://pkg.so/fr/brew/ppl/) - Local package facts share a topical domain. Shared terms: analysis, cli, gmp, mathematics, numerical.

## 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
- package-page enrichment
- curated package history
- package version freshness
- pkgdb category and tag curation
- package relationship graph
- external package-manager database matches
- cross-ecosystem install command graph