pkg.soopen package index

brew / 順位 10229

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

インストール挙動

  • formula メタデータに Homebrew post-install フックは記録されていません。
  • Homebrew bottle メタデータは 6 個のプラットフォームターゲットで利用できます。
  • 4 件の実行時依存関係とともにインストールされます。
  • ビルドメタデータには 1 件のビルド依存関係があります。

推奨レビュー

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

実行可能ファイル

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

コマンド種類公開範囲メモ
sollyacliグローバル実行可能ファイル

鮮度

バージョンと鮮度

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

ページ生成日2026-08-04
マネージャ版8.0
マネージャ更新日
ローカルデータOK
上流not checked
検出された最新未検出

https://www.sollya.org/

  • 情報No package-manager update timestamp was available.信頼度 低
  • 情報Release/tag comparison is only available for GitHub repositories.https://www.sollya.org/信頼度 none

インストールメタデータ

パッケージメタデータ

パッケージキーbrew:sollya
バージョン8.0
パッケージマネージャHomebrew
パッケージマネージャページhttps://formulae.brew.sh/formula/sollya
ホームページhttps://www.sollya.org/
上流ドキュメントhttps://www.sollya.org/
ライセンスCECILL-C
ソースアーカイブhttps://www.sollya.org/releases/sollya-8.0/sollya-8.0.tar.gz
依存関係fplll, gmp, mpfi, mpfr
ビルド依存関係automake
macOS 提供ライブラリlibxml2
Bottle利用可能 (対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install未定義
サービス宣言なし

レジストリ情報

ソースデータベース詳細

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

ソースデータベース一致

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

一致は外部パッケージマネージャインデックスから取得され、ローカルの 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

パッケージグラフ

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

関連ツール

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

同じワークフロー

  • suite-sparseShares pkgdb curated category or tags: cli, mathematics, science.
  • maximaShares pkgdb curated category or tags: cli, mathematics, science.
  • calcShares pkgdb curated category or tags: cli, mathematics, science.
  • wxmaximaShares pkgdb curated category or tags: cli, mathematics, science.
  • singularShares pkgdb curated category or tags: cli, mathematics, science.
  • pariShares pkgdb curated category or tags: cli, mathematics, science.

エージェント安全ガイド

ソース経路

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

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

使用ソース

  • 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