Automic VaultAutomic Vault

brew / 順位 3334

highs をインストール

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

インストール

Automic Vault でインストール

Automic Vault
sudo av install brew:highs

macOS

Homebrewverified · 100%
brew install highs

local Homebrew formula metadata

MacPortsverified · 94%
sudo port install HiGHS

MacPorts ports tree · math/HiGHS/Portfile · source: api.github.com

Linux

Debian aptverified · 92%
sudo apt install highs

Debian stable package indexes · highs · source: deb.debian.org

Nixverified · 92%
nix profile install nixpkgs#highs

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

Arch Linux pacmanverified · 92%
sudo pacman -S highs

Arch Linux sync databases · highs · source: geo.mirror.pkgbuild.com

Windows

Scoopverified · 92%
scoop install main/highs

Scoop official bucket manifest trees · bucket/highs.json · source: api.github.com

プラットフォームノート

  • パッケージ固有のプラットフォームノートはありません。

概要

パッケージ概要

Linear optimization software

コマンドとエイリアス

  • highs

セキュリティ状態

リスクレベル: green

narrow executable package without higher-risk signals.

Risk classifier

green risk · low confidence · appliance

Why

  • narrow executable package without higher-risk signals

Signals

  • metadata:no-higher-risk-signals

Install behavior

  • No Homebrew post-install hook is recorded in formula metadata.
  • Homebrew bottle metadata is available for 6 platform targets.
  • Build metadata lists 2 build dependencies.

推奨レビュー

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

実行可能ファイル

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

コマンド種類公開範囲メモ
highscliglobal executable

鮮度

バージョンと鮮度

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

ページ生成日2026-06-10
マネージャ版1.14.0
マネージャ更新日2026-04-07
ローカルデータok
上流current
検出された最新v1.14.0

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

  • okNo freshness warnings were generated.

インストールメタデータ

パッケージメタデータ

Package keybrew:highs
Version1.14.0
Package managerHomebrew
Package manager pagehttps://formulae.brew.sh/formula/highs
Homepagehttps://www.maths.ed.ac.uk/hall/HiGHS/
Repositoryhttps://github.com/ERGO-Code/HiGHS
Upstream docshttps://ergo-code.github.io/HiGHS
LicenseMIT
Source archivehttps://github.com/ERGO-Code/HiGHS/archive/refs/tags/v1.14.0.tar.gz
Last updated2026-04-07T13:17:05Z
Pulseupdated
Build dependenciescmake, pkgconf
Bottleavailable (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 Namehighs
Version Scheme0
Revision0
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%

highs 1.10.0+ds-1

High performance linear optimization software

https://highs.dev/

sudo apt install highs
  • Section: science
  • Architecture: amd64
  • 4 dependencies
  • normalized package name match
  • Matched by: 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 dependencies
  • normalized package name match
  • Matched by: 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 dependencies
  • 1 optional deps
  • normalized package name match
  • Matched by: 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 dependencies
  • normalized package name match
  • Matched by: 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
  • Matched by: 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-1

Linear optimization software

https://highs.dev/

sudo pacman -S highs
  • License: MIT
  • Architecture: x86_64
  • 3 dependencies
  • normalized package name match
  • Matched by: 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
  • Matched by: 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
  • Matched by: 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
  • external package-manager database matches
  • package relationship graph
  • package version freshness
  • package-page enrichment