installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%

brew install sollya

local Homebrew formula metadata

MacPortsvérifié · 94%

sudo port install sollya

MacPorts ports tree · science/sollya/Portfile · Source: api.github.com

Linux

Debian aptvérifié · 92%

sudo apt install sollya

Debian stable package indexes · sollya · Source: deb.debian.org

Nixvérifié · 92%

nix profile install nixpkgs#sollya

nixpkgs package indexes · pkgs/by-name/so/sollya/package.nix · Source: api.github.com

aperçu

Résumé du paquet

Library for safe floating-point code development

Liens du projet

Commandes et alias

sollya

historique

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/

posture de sécurité

Niveau de risque : vert

library-like package without higher-risk signals.

Classificateur de risque

risque vert · confiance faible · appliance

Pourquoi

library-like package without higher-risk signals

Signaux

metadata:library-like

Comportement d'installation

Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
Les métadonnées de bottle Homebrew sont disponibles pour 6 plateformes.
S’installe avec 4 dépendances d’exécution.
Les métadonnées de compilation listent 1 dépendances de compilation.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

exécutables

Exécutables installés

Commande	Type	Exposition	Note
`sollya`	cli	exécutable global

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-08-04

version du gestionnaire8.0

gestionnaire mis à jour

données localesOK

amontnot checked

dernière version détectéenon détecté

https://www.sollya.org/

infoNo package-manager update timestamp was available.confiance faible
infoRelease/tag comparison is only available for GitHub repositories.https://www.sollya.org/confiance none

métadonnées d'installation

Métadonnées du paquet

Clé du paquet	brew:sollya
Version	8.0
Gestionnaire de paquets	Homebrew
Page du gestionnaire de paquets	https://formulae.brew.sh/formula/sollya
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
Dépendances	fplll, gmp, mpfi, mpfr
Dépendances de compilation	automake
Bibliothèques fournies par macOS	libxml2
Bouteille	disponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
post-install Homebrew	non défini
Service	aucun déclaré

faits du registre

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

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

Debian apt95%

libsollya-dev 8.0+ds-3

library for safe floating-point code development -- libdev

https://www.sollya.org/

sudo apt install libsollya-dev

Section: libdevel
Architecture: amd64
Source Package: sollya
6 Dépendances
1 dépendances optionnelles
normalized package name match
Correspondance par : Sollya

Debian stable package indexes · deb.debian.org · Debian stable package indexes: libsollya-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

Debian apt95%

libsollya8 8.0+ds-3

library for safe floating-point code development -- lib

https://www.sollya.org/

sudo apt install libsollya8

Section: libs
Architecture: amd64
Source Package: sollya
8 Dépendances
1 fournit
normalized package name match
Correspondance par : Sollya

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

Debian apt95%

sollya 8.0+ds-3

library for safe floating-point code development -- tool

https://www.sollya.org/

sudo apt install sollya

Section: math
Architecture: amd64
2 Dépendances
4 dépendances optionnelles
normalized package name match
Correspondance par : Sollya

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

Debian apt95%

sollya-doc 8.0+ds-3

library for safe floating-point code development -- doc

https://www.sollya.org/

sudo apt install sollya-doc

Section: doc
Architecture: all
Source Package: sollya
1 dépendances optionnelles
normalized package name match
Correspondance par : Sollya

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

Nix95%

sollya

nix profile install nixpkgs#sollya

normalized package name match
Correspondance par : Sollya

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

Ubuntu apt95%

libsollya-dev 8.0+ds-2build3

library for safe floating-point code development -- libdev

https://www.sollya.org/

sudo apt install libsollya-dev

Section: universe/libdevel
Architecture: amd64
Source Package: sollya
6 Dépendances
1 dépendances optionnelles
normalized package name match
Correspondance par : Sollya

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libsollya-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

Ubuntu apt95%

libsollya8 8.0+ds-2build3

library for safe floating-point code development -- lib

https://www.sollya.org/

sudo apt install libsollya8

Section: universe/libs
Architecture: amd64
Source Package: sollya
8 Dépendances
1 fournit
normalized package name match
Correspondance par : Sollya

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libsollya8 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

Ubuntu apt95%

sollya 8.0+ds-2build3

library for safe floating-point code development -- tool

https://www.sollya.org/

sudo apt install sollya

Section: universe/math
Architecture: amd64
2 Dépendances
4 dépendances optionnelles
normalized package name match
Correspondance par : Sollya

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: sollya from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

Ubuntu apt95%

sollya-doc 8.0+ds-2build3

library for safe floating-point code development -- doc

https://www.sollya.org/

sudo apt install sollya-doc

Section: universe/doc
Architecture: all
Source Package: sollya
1 dépendances optionnelles
normalized package name match
Correspondance par : Sollya

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: sollya-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

MacPorts95%

sollya

sudo port install sollya

normalized package name match
Correspondance par : Sollya

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

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Combined YAML source

View the package source record on GitHub.

combined/sollya.yml

Sources utilisées

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

Installer sollya avec Homebrew, apt, MacPorts, Nix

Commandes d'installation supplémentaires

macOS

Linux

Résumé du paquet

Liens du projet

Commandes et alias

Historique du projet et usages

Historique du projet

Historique d'adoption

Modes d'utilisation

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

Chronologie

Related projects

Sources

Niveau de risque : vert

Classificateur de risque

Pourquoi

Signaux

Comportement d'installation

Revue recommandée

Exécutables installés

Version et fraîcheur

Métadonnées du paquet

Détails de la base source

Autres enregistrements de gestionnaires de paquets

Liens internes de paquets

Hubs thématiques

Outils liés

Même workflow

Guides de sécurité des agents

Généré depuis les données du dépôt

Combined YAML source

Sources utilisées