# sollya mit Homebrew, apt, MacPorts, Nix installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für sollya in AI-Agent-Workflows.

## Installation

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

Weitere Installationsbefehle:

### macOS

- Homebrew (100%):

```sh
brew install sollya
```

  Evidenz: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install sollya
```

  Evidenz: 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
```

  Evidenz: 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
```

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

## Paketfakten

- **Paketschlüssel:** brew:sollya
- **Paketmanager:** Homebrew
- **Version:** 8.0
- **Quellzusammenfassung:** Library for safe floating-point code development
- **Homepage:** <https://www.sollya.org/>
- **Generiert:** 2026-08-03T19:37:03+00:00

## Executables

- sollya (Alias)

## Installationsverhalten

- Bottle: nicht verfügbar

## Version und Aktualität

- Seite generiert: 2026-08-03
- Manager-Version: 8.0
## Projektgeschichte und Nutzung

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

### Projektgeschichte

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.

### Adoptionsgeschichte

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.

### Wie es verwendet wird

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.

### Warum Paket-Nerds sich dafür interessieren

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.

### Zeitleiste

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

### Quellen

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


## Sicherheitshinweise

library-like package without higher-risk signals.

- **Geiger-Risiko:** grün / niedrig
- library-like package without higher-risk signals

## Andere Paketmanager-Einträge

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


## Quellen

- 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