Automic VaultAutomic Vault

brew

soplex を Homebrew, apt, dnf, MacPorts, Nix, pacman でインストール

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

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

インストール

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

macOS

Homebrew確認済み · 100%
brew install soplex

local Homebrew formula metadata

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

MacPorts ports tree · math/soplex/Portfile · ソース: api.github.com

Linux

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

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

Fedora dnf確認済み · 92%
sudo dnf install soplex

Fedora Rawhide package metadata · soplex · ソース: dl.fedoraproject.org

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

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

Arch Linux pacman確認済み · 92%
sudo pacman -S soplex

Arch Linux sync databases · soplex · ソース: geo.mirror.pkgbuild.com

概要

パッケージ概要

Optimization package for solving linear programming problems (LPs)

コマンドとエイリアス

  • soplex

履歴

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

SoPlex, short for Sequential object-oriented simPlex, is an optimization package and command-line solver for linear programming problems. It is also a C++ library and is tightly associated with the SCIP Optimization Suite.

プロジェクトの歴史

The official SoPlex site describes it as an advanced implementation of the primal and dual revised simplex algorithm with support for exact rational LP solving. It names Roland Wunderling as the original author and lists current and former developers around the Zuse Institute Berlin optimization community.

SoPlex is part of the SCIP Optimization Suite and the GitHub README says the original repository is hosted at ZIB, with a read-only GitHub mirror under the `scipopt` organization. That mirror is the official public HTTP source-control URL useful to package managers.

採用の歴史

The official site says SoPlex has been used in numerous research and industry projects and is the standard LP solver linked to SCIP. That gives it importance beyond the standalone `soplex` executable: many users encounter it as a dependency in mathematical optimization stacks.

The package-manager metadata in this batch shows SoPlex available through Homebrew, Debian, Ubuntu, Fedora, Arch, MacPorts, and Nix. For a specialized scientific solver, that is meaningful distribution coverage.

使われ方

SoPlex can be used as a standalone command-line solver reading MPS or LP format files, or embedded as a C++ class library. Its niche is linear programming, especially cases where exact rational techniques, iterative refinement, or numerically difficult LPs matter.

For CLI users, the value is reproducible local access to an LP solver without pulling in the full SCIP workflow. For library users, the package exposes the solver as a C++ dependency that other optimization tools can link against.

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

SoPlex is the kind of package package nerds care about because it turns academic and industrial optimization research into a buildable, linkable Unix package. It sits at the boundary between scientific software, command-line tools, and dependency plumbing for larger solvers.

The 2021 public GitHub mirrors and the later Apache-2.0 licensing shift are especially relevant to packaging culture: they make source retrieval, redistribution, and automated builds easier for general-purpose package managers.

タイムライン

  • 2015: Version 2.2.0 released according to the official SoPlex news archive.
  • 2021: Public GitHub mirrors announced for SCIP, SoPlex, and PaPILO.
  • 2022: SoPlex announced a move to the Apache 2.0 license for the next release.
  • 2026: SoPlex v8.0.2 released as part of SCIP Optimization Suite 10.0.2.

Related projects

  • SCIP is the main related optimization solver and standard consumer named by the SoPlex site.
  • ZIMPL, GCG, UG, and PaPILO are adjacent projects in the SCIP Optimization Suite ecosystem.
  • soplex-rs and SoPlex.jl provide language bindings or wrappers for Rust and Julia users.

セキュリティ状態

リスクレベル: グリーン

narrow executable package without higher-risk signals.

リスク分類器

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

理由

  • narrow executable package without higher-risk signals

信号

  • metadata:no-higher-risk-signals

インストール挙動

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

推奨レビュー

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

実行可能ファイル

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

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

鮮度

バージョンと鮮度

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

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

https://soplex.zib.de/

インストールメタデータ

パッケージメタデータ

パッケージキーbrew:soplex
バージョン8.0.3
パッケージマネージャHomebrew
パッケージマネージャページhttps://formulae.brew.sh/formula/soplex
ホームページhttps://soplex.zib.de/
リポジトリhttps://github.com/scipopt/soplex
上流ドキュメントhttps://soplex.zib.de/doc/html
ライセンスApache-2.0
ソースアーカイブhttps://soplex.zib.de/download/release/soplex-8.0.3.tgz
最終更新2026-07-06T11:48:19Z
Pulseupdated
依存関係boost, gmp, mpfr
ビルド依存関係cmake
Bottle利用可能 (対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install未定義
サービス宣言なし

レジストリ情報

ソースデータベース詳細

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

ソースデータベース一致

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

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

Debian apt95%

libsoplex-dev 7.1.3+dfsg-1

sequential object-oriented simplex solver (development files)

https://github.com/scipopt/soplex

sudo apt install libsoplex-dev
  • Section: libdevel
  • Architecture: amd64
  • Source Package: soplex
  • 5 依存関係
  • normalized package name match
  • 一致条件: Soplex
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libsoplex-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

libsoplexshared7.1 7.1.3+dfsg-1

sequential object-oriented simplex solver (shared library)

https://github.com/scipopt/soplex

sudo apt install libsoplexshared7.1
  • Section: libs
  • Architecture: amd64
  • Source Package: soplex
  • 5 依存関係
  • normalized package name match
  • 一致条件: Soplex
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libsoplexshared7.1 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

soplex 7.1.3+dfsg-1

sequential object-oriented simplex solver

https://github.com/scipopt/soplex

sudo apt install soplex
  • Section: math
  • Architecture: amd64
  • 6 依存関係
  • normalized package name match
  • 一致条件: Soplex
Debian stable package indexes · deb.debian.org · Debian stable package indexes: soplex from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Nix95%

soplex

nix profile install nixpkgs#soplex
  • normalized package name match
  • 一致条件: Soplex
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/so/soplex/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
Ubuntu apt95%

libsoplex-dev 6.0.4+dfsg-1.1build1

sequential object-oriented simplex solver (development files)

https://github.com/scipopt/soplex

sudo apt install libsoplex-dev
  • Section: universe/libdevel
  • Architecture: amd64
  • Source Package: soplex
  • 3 依存関係
  • normalized package name match
  • 一致条件: Soplex
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libsoplex-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libsoplexshared6.0t64 6.0.4+dfsg-1.1build1

sequential object-oriented simplex solver (shared library)

https://github.com/scipopt/soplex

sudo apt install libsoplexshared6.0t64
  • Section: universe/libs
  • Architecture: amd64
  • Source Package: soplex
  • 5 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: Soplex
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libsoplexshared6.0t64 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

soplex 6.0.4+dfsg-1.1build1

sequential object-oriented simplex solver

https://github.com/scipopt/soplex

sudo apt install soplex
  • Section: universe/math
  • Architecture: amd64
  • 5 依存関係
  • normalized package name match
  • 一致条件: Soplex
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: soplex from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
dnf95%

libsoplex 8.0.2-1.fc45

Library for sequential object-oriented simplex

https://soplex.zib.de/

sudo dnf install libsoplex
  • License: Apache-2.0 AND MIT
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: soplex
  • 10 依存関係
  • 3 提供
  • normalized package name match
  • 一致条件: Soplex
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: libsoplex from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
dnf95%

libsoplex-devel 8.0.2-1.fc45

Headers and library links for libsoplex

https://soplex.zib.de/

sudo dnf install libsoplex-devel
  • License: Apache-2.0 AND MIT
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: soplex
  • 10 依存関係
  • 2 提供
  • normalized package name match
  • 一致条件: Soplex
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: libsoplex-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
dnf95%

libsoplex-doc 8.0.2-1.fc45

API documentation for libsoplex

https://soplex.zib.de/

sudo dnf install libsoplex-doc
  • License: Apache-2.0 AND GPL-1.0-or-later AND MIT
  • Category: Unspecified
  • Architecture: noarch
  • Source Package: soplex
  • 1 提供
  • normalized package name match
  • 一致条件: Soplex
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: libsoplex-doc from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
dnf95%

soplex 8.0.2-1.fc45

Sequential object-oriented simplex

https://soplex.zib.de/

sudo dnf install soplex
  • License: Apache-2.0 AND MIT
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: soplex
  • 13 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: Soplex
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: soplex from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
pacman95%

soplex 8.0.2-1

Sequential object-oriented simPlex

https://www.scipopt.org/

sudo pacman -S soplex
  • License: Apache-2.0
  • Architecture: x86_64
  • 7 依存関係
  • normalized package name match
  • 一致条件: Soplex
Arch Linux sync databases · geo.mirror.pkgbuild.com · Arch Linux sync databases: soplex from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz
MacPorts95%

soplex

sudo port install soplex
  • normalized package name match
  • 一致条件: Soplex
MacPorts ports tree · api.github.com · MacPorts ports tree: math/soplex/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

パッケージグラフ

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

関連ツール

  • cmakeBuild dependency declared by Homebrew.

同じワークフロー

  • cbcShares av.db curated category or tags: cli, linear-programming, optimization, science, solver.
  • clpShares av.db curated category or tags: cli, linear-programming, optimization, science, solver.
  • lp_solveShares av.db curated category or tags: cli, linear-programming, optimization, science, solver.
  • cryptominisatShares av.db curated category or tags: cli, optimization, science, solver.
  • glpkShares av.db curated category or tags: cli, linear-programming, optimization, science.
  • highsShares av.db curated category or tags: cli, linear-programming, science, solver.

エージェント安全ガイド

ソース経路

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

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

使用ソース

  • 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