Automic VaultAutomic Vault

brew

Install sollya with Homebrew, apt, MacPorts, Nix

Library for safe floating-point code development. Version 8.0 via Homebrew; verified from local package data.

Install commandSecurity notes

install

Additional install commands

macOS

Homebrewverified · 100%
brew install sollya

local Homebrew formula metadata

MacPortsverified · 94%
sudo port install sollya

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

Linux

Debian aptverified · 92%
sudo apt install libsollya-dev

Debian stable package indexes · libsollya-dev · source: deb.debian.org

Nixverified · 92%
nix profile install nixpkgs#sollya

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

overview

Package summary

Library for safe floating-point code development

Commands and aliases

  • sollya

history

Project history and usage

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

Project history

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.

Adoption history

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.

How it is used

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.

Why package nerds care

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.

Timeline

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

security posture

Risk level: green

library-like package without higher-risk signals.

Risk classifier

green risk · low confidence · appliance

Why

  • library-like package without higher-risk signals

Signals

  • metadata:library-like

Install behavior

  • No Homebrew post-install hook is recorded in formula metadata.
  • Homebrew bottle metadata is available for 6 platform targets.
  • Installs with 4 runtime dependencies.
  • Build metadata lists 1 build dependencies.

Recommended review

Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.

executables

Installed executables

CommandKindExposureNote
sollyacliglobal executable

freshness

Version and freshness

These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.

page generated2026-07-08
manager version8.0
manager updated
local dataok
upstreamnot checked
latest detectednot detected

https://www.sollya.org/

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

install metadata

Package metadata

Package keybrew:sollya
Version8.0
Package managerHomebrew
Package manager pagehttps://formulae.brew.sh/formula/sollya
Homepagehttps://www.sollya.org/
Repositoryhttps://gitlab.inria.fr/sollya/sollya
Upstream docshttps://www.sollya.org/sollya-8.0/help.php
LicenseCECILL-C
Source archivehttps://www.sollya.org/releases/sollya-8.0/sollya-8.0.tar.gz
Dependenciesfplll, gmp, mpfi, mpfr
Build dependenciesautomake
Uses from macOSlibxml2
Bottleavailable (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-installnot defined
Servicenone declared

registry facts

Source database details

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namesollya
Version Scheme0
Revision3
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • stable

source database matches

Other package-manager records

Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.

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 dependencies
  • 1 optional deps
  • normalized package name match
  • Matched by: 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 dependencies
  • 1 provides
  • normalized package name match
  • Matched by: 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 dependencies
  • 4 optional deps
  • normalized package name match
  • Matched by: 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 optional deps
  • normalized package name match
  • Matched by: 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
  • Matched by: 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 dependencies
  • 1 optional deps
  • normalized package name match
  • Matched by: 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 dependencies
  • 1 provides
  • normalized package name match
  • Matched by: 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 dependencies
  • 4 optional deps
  • normalized package name match
  • Matched by: 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 optional deps
  • normalized package name match
  • Matched by: 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
  • Matched by: 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

package graph

Links come from deterministic package relationships, av.db category and tag curation, ecosystem matches, and package hub membership.

Related tools

  • fplllRuntime dependency declared by Homebrew.
  • automakeBuild dependency declared by Homebrew.

Same workflow

  • pplShares av.db curated category or tags: cli, mathematics, numerical-analysis, science.
  • calcShares av.db curated category or tags: cli, mathematics, science.
  • cddlibShares av.db curated category or tags: cli, mathematics, science.
  • maximaShares av.db curated category or tags: cli, mathematics, science.
  • pariShares av.db curated category or tags: cli, mathematics, science.
  • primecountShares av.db curated category or tags: cli, mathematics, science.

source trail

Generated from repository data

This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.

Used sources

  • Geiger risk classifier
  • Nucleus package database
  • av.db category and tag curation
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • package relationship graph
  • package version freshness
  • package-page enrichment