macOS
brew install highslocal Homebrew formula metadata
sudo port install HiGHSMacPorts ports tree · math/HiGHS/Portfile · source: api.github.com
brew / 順位 3334
highs のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
sudo av install brew:highsbrew install highslocal Homebrew formula metadata
sudo port install HiGHSMacPorts ports tree · math/HiGHS/Portfile · source: api.github.com
sudo apt install highsDebian stable package indexes · highs · source: deb.debian.org
nix profile install nixpkgs#highsnixpkgs package indexes · pkgs/by-name/hi/highs/package.nix · source: api.github.com
sudo pacman -S highsArch Linux sync databases · highs · source: geo.mirror.pkgbuild.com
scoop install main/highsScoop official bucket manifest trees · bucket/highs.json · source: api.github.com
概要
Linear optimization software
セキュリティ状態
narrow executable package without higher-risk signals.
green risk · low confidence · appliance
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
highs | cli | global executable |
鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
https://github.com/ERGO-Code/HiGHS
インストールメタデータ
| Package key | brew:highs |
|---|---|
| Version | 1.14.0 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/highs |
| Homepage | https://www.maths.ed.ac.uk/hall/HiGHS/ |
| Repository | https://github.com/ERGO-Code/HiGHS |
| Upstream docs | https://ergo-code.github.io/HiGHS |
| License | MIT |
| Source archive | https://github.com/ERGO-Code/HiGHS/archive/refs/tags/v1.14.0.tar.gz |
| Last updated | 2026-04-07T13:17:05Z |
| Pulse | updated |
| Build dependencies | cmake, pkgconf |
| Bottle | available (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | highs |
| Version Scheme | 0 |
| Revision | 0 |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
source database matches
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
highs 1.10.0+ds-1
High performance linear optimization software
sudo apt install highslibhighs-dev 1.10.0+ds-1
High performance linear optimization software (development files)
sudo apt install libhighs-devlibhighs1 1.10.0+ds-1
High performance linear optimization software (shared library)
sudo apt install libhighs1python3-highspy 1.10.0+ds-1
High performance linear optimization software (Python library)
sudo apt install python3-highspyhighs
nix profile install nixpkgs#highshighs 1.14.0-1
Linear optimization software
sudo pacman -S highsHiGHS
sudo port install HiGHSmain/highs
scoop install main/highsソース経路
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。