pkg.soopen package index

brew / 順位 10238

sollya を Homebrew, apt, MacPorts, Nix でインストール

sollya のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

インストールコマンドセキュリティノート

インストール

追加のインストールコマンド

macOS

Homebrew確認済み · 100%
brew install sollya

local Homebrew formula metadata

MacPorts確認済み · 94%
sudo port install sollya

MacPorts ports tree · science/sollya/Portfile · ソース: api.github.com

Linux

Debian apt確認済み · 92%
sudo apt install sollya

Debian stable package indexes · sollya · ソース: deb.debian.org

Nix確認済み · 92%
nix profile install nixpkgs#sollya

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

概要

パッケージ概要

Library for safe floating-point code development

コマンドとエイリアス

  • sollya

履歴

プロジェクトの歴史と使われ方

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

プロジェクトの歴史

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.

採用の歴史

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.

使われ方

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.

パッケージ好きにとっての重要性

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.

タイムライン

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

ソース

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

セキュリティ状態

リスクレベル: グリーン

library-like package without higher-risk signals.

リスク分類器

リスク グリーン · 信頼度 低 · appliance

理由

  • library-like package without higher-risk signals

信号

  • metadata:library-like

インストール挙動

  • Homebrew bottle メタデータは記録されていません。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド種類公開範囲メモ
sollya実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-08-03
マネージャ版8.0
マネージャ更新日
ローカルデータ不明
上流利用不可
検出された最新未検出
  • OK鮮度警告は生成されていません。

インストールメタデータ

パッケージメタデータ

パッケージキーbrew:sollya
バージョン8.0
パッケージマネージャHomebrew
ホームページhttps://www.sollya.org/
Bottle未記録
サービス宣言なし

ソースデータベース一致

他のパッケージマネージャ記録

一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。

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 依存関係
  • 1 任意依存関係
  • normalized package name match
  • 一致条件: 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 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: 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 依存関係
  • 4 任意依存関係
  • normalized package name match
  • 一致条件: 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 任意依存関係
  • normalized package name match
  • 一致条件: 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
  • 一致条件: 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 依存関係
  • 1 任意依存関係
  • normalized package name match
  • 一致条件: 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 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: 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 依存関係
  • 4 任意依存関係
  • normalized package name match
  • 一致条件: 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 任意依存関係
  • normalized package name match
  • 一致条件: 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
  • 一致条件: 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

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

エージェント安全ガイド

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

使用ソース

  • 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