pkg.soopen package index

brew / rang 10238

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.

Commande d'installationNotes de sécurité

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

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

  • Aucune métadonnée de bottle Homebrew n’a été enregistrée.

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

CommandeTypeExpositionNote
sollyaexécutableexécutable indexéDécouvert depuis l'index local des exécutables.

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-03
version du gestionnaire8.0
gestionnaire mis à jour
données localesinconnu
amontnon disponible
dernière version détectéenon détecté
  • OKAucun avertissement de fraîcheur n'a été généré.

métadonnées d'installation

Métadonnées du paquet

Clé du paquetbrew:sollya
Version8.0
Gestionnaire de paquetsHomebrew
Page d'accueilhttps://www.sollya.org/
Bouteillenon enregistré
Serviceaucun déclaré

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.

Sources utilisées

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