Automic VaultAutomic Vault

brew

highs を Homebrew, apt, Nix, pacman, MacPorts, scoop でインストール

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

インストール

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

macOS

Homebrew確認済み · 100%
brew install highs

local Homebrew formula metadata

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

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

Linux

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

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

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

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

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

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

Windows

Scoop確認済み · 92%
scoop install main/highs

Scoop official bucket manifest trees · bucket/highs.json · ソース: api.github.com

概要

パッケージ概要

Linear optimization software

履歴

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

HiGHS is open-source linear optimization software for large-scale sparse LP, MILP/MIP, and convex QP models. It provides a standalone `highs` executable, a C++ library, and interfaces for C, C#, Fortran, Julia, Python, and other ecosystems.

The project is rooted in the University of Edinburgh optimization group and the ERGO-Code organization. Its README credits solver components to Qi Huangfu, Julian Hall, Lukas Schork, Michael Feldmeier, Leona Gottwald, and Ivet Galabova.

プロジェクトの歴史

HiGHS grew from high-performance research solvers for linear optimization, especially the dual revised simplex work by Qi Huangfu and Julian Hall. The official site describes the codebase as C++11 software with no required third-party utilities for source builds.

The README describes a solver suite rather than a single algorithm: primal and dual revised simplex solvers, an LP interior-point solver, a QP active-set solver, and a MIP branch-and-cut solver. The documentation adds PDLP first-order LP support and explains the executable/library split.

The public tag line shows 1.x releases starting in 2021, then steady expansion through Python packaging, NuGet packaging, interface documentation, MIP work, GPU/PDLP-related development, and HiPO-related builds.

採用の歴史

HiGHS gained a major scientific-Python adoption point when SciPy 1.6.0 added HiGHS methods to `scipy.optimize.linprog` for large sparse problems. SciPy 1.9.0 then made `method='highs'` the default for `linprog` and added mixed-integer linear programming support.

The JuMP ecosystem documents `HiGHS.jl` as a wrapper around the HiGHS solver with both a thin C API wrapper and a MathOptInterface implementation. That gives Julia modelers access to the same solver family through JuMP models.

Packaging now spans both system package managers and language package channels. The README badges and text point to PyPI `highspy`, NuGet `Highs.Native`, release binaries, and source builds, while the input package map shows Homebrew, Debian, MacPorts, Nix, Arch, and Scoop packaging.

使われ方

From the command line, HiGHS reads MPS and CPLEX LP files and solves them with options such as presolve, solver choice, parallel mode, thread count, time limit, and output solution/basis files. A minimal run is `highs model.mps`.

As a library, users can build, modify, solve, and inspect optimization models through the native C++ API or through language bindings. Python users often meet HiGHS through SciPy's `linprog` and `milp` APIs or through the `highspy` wrapper; Julia users commonly meet it through JuMP and HiGHS.jl.

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

HiGHS matters to package nerds because it is a serious permissively licensed optimization solver with no required third-party dependencies for the core build. That makes it unusually friendly to distributions compared with solver stacks that depend on proprietary binaries or complex external libraries.

It also sits at an important boundary between command-line packages and language ecosystems: the same solver is shipped as a Unix executable, a C/C++ library, a Python package, a Julia solver backend, and a NuGet package.

タイムライン

  • 2018: The dual revised simplex work by Huangfu and Hall appears as the key citation used by HiGHS documentation.
  • 2021: v1.1.1 appears in the public tag line.
  • 2021: SciPy 1.6.0 documents HiGHS methods for `linprog`.
  • 2022: SciPy 1.9.0 makes `method='highs'` the default for `linprog` and adds MILP support.
  • 2024: HiGHS workshops begin appearing on the official site as community events.
  • 2025: v1.10.0 appears in the public tag line during continued solver/interface development.
  • 2026: v1.15.0 appears in the public tag line.

Related projects

  • SciPy is a major downstream consumer through `scipy.optimize.linprog` and `scipy.optimize.milp`.
  • JuMP and MathOptInterface use HiGHS through HiGHS.jl.
  • COIN-OR Clp, GLPK, commercial solvers, and other LP/MIP solvers are common benchmark and package-set neighbors.

ソース

  • Documentation: https://ergo-code.github.io/HiGHS/dev/
  • JuMP HiGHS.jl docs: https://jump.dev/JuMP.jl/stable/packages/HiGHS/
  • Project site: https://highs.dev/
  • README: https://github.com/ERGO-Code/HiGHS#readme
  • Repository tags: https://github.com/ERGO-Code/HiGHS/tags
  • SciPy 1.6.0 notes: https://docs.scipy.org/doc/scipy/release/1.6.0-notes.html
  • SciPy 1.9.0 notes: https://docs.scipy.org/doc/scipy/release/1.9.0-notes.html

セキュリティ状態

リスクレベル: グリーン

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 個のプラットフォームターゲットで利用できます。
  • ビルドメタデータには 2 件のビルド依存関係があります。

推奨レビュー

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

実行可能ファイル

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

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

鮮度

バージョンと鮮度

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

ページ生成日2026-07-26
マネージャ版1.15.1
マネージャ更新日2026-07-02
ローカルデータOK
上流最新
検出された最新v1.15.1

https://github.com/ERGO-Code/HiGHS

  • OK鮮度警告は生成されていません。

インストールメタデータ

パッケージメタデータ

パッケージキーbrew:highs
バージョン1.15.1
パッケージマネージャHomebrew
パッケージマネージャページhttps://formulae.brew.sh/formula/highs
ホームページhttps://www.maths.ed.ac.uk/hall/HiGHS/
リポジトリhttps://github.com/ERGO-Code/HiGHS
上流ドキュメントhttps://ergo-code.github.io/HiGHS
ライセンスMIT
ソースアーカイブhttps://github.com/ERGO-Code/HiGHS/archive/refs/tags/v1.15.1.tar.gz
最終更新2026-07-02T13:02:47Z
Pulseupdated
ビルド依存関係cmake, pkgconf
Bottle利用可能 (対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install未定義
サービス宣言なし

レジストリ情報

ソースデータベース詳細

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

ソースデータベース一致

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

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

Debian apt95%

highs 1.10.0+ds-1

High performance linear optimization software

https://highs.dev/

sudo apt install highs
  • Section: science
  • Architecture: amd64
  • 4 依存関係
  • normalized package name match
  • 一致条件: Highs
Debian stable package indexes · deb.debian.org · Debian stable package indexes: highs from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

libhighs-dev 1.10.0+ds-1

High performance linear optimization software (development files)

https://highs.dev/

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

libhighs1 1.10.0+ds-1

High performance linear optimization software (shared library)

https://highs.dev/

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

python3-highspy 1.10.0+ds-1

High performance linear optimization software (Python library)

https://highs.dev/

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

highs

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

highs 1.14.0-2

Linear optimization software

https://highs.dev/

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

HiGHS

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

main/highs

scoop install main/highs
  • normalized package name match
  • 一致条件: Highs
Scoop official bucket manifest trees · api.github.com · Scoop official bucket manifest trees: bucket/highs.json from https://api.github.com/repos/ScoopInstaller/Main/git/trees/master?recursive=1

ソース経路

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

このページは 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