Automic Vault
brew パッケージインテリジェンス
minisat のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
sudo av install brew:minisatbrew install minisat
local Homebrew formula metadata
sudo port install minisat
MacPorts ports tree · math/minisat/Portfile · ソース: api.github.com
sudo apt install minisat
Debian stable package indexes · minisat · ソース: deb.debian.org
nix profile install nixpkgs#minisat
nixpkgs package indexes · pkgs/by-name/mi/minisat/package.nix · ソース: api.github.com
sudo pacman -S minisat
Arch Linux sync databases · minisat · ソース: geo.mirror.pkgbuild.com
sudo zypper install minisat
openSUSE Tumbleweed package metadata · minisat · ソース: download.opensuse.org
winget install --id PolarGoose.minisat -e
Windows Package Manager source index · PolarGoose.minisat · ソース: cdn.winget.microsoft.com
概要
Automic Vault は、minisat のパッケージ固有のインストール経路、実行可能ファイル情報、セキュリティメタデータをローカルパッケージデータから公開します。
Minimalistic and high-performance SAT solver
セキュリティ状態
narrow executable package without higher-risk signals.
green リスク · low 信頼度 · appliance
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
minisat | cli | global executable | |
minisat_core | cli | global executable |
鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
https://github.com/stp/minisat
インストールメタデータ
| パッケージキー | brew:minisat |
|---|---|
| バージョン | 2.2.1 |
| パッケージマネージャ | Homebrew |
| パッケージマネージャページ | https://formulae.brew.sh/formula/minisat |
| ホームページ | https://github.com/stp/minisat |
| リポジトリ | https://github.com/stp/minisat |
| ライセンス | MIT |
| ソースアーカイブ | https://github.com/stp/minisat/archive/refs/tags/releases/2.2.1.tar.gz |
| 更新 | 2026-02-22T17:15:55+01:00 |
| Pulse | updated |
| ビルド依存関係 | cmake |
| Bottle | 利用可能 (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | 未定義 |
| サービス | 宣言なし |
ソース経路
このページは scripts/generate-pkg-pages.py によって書かれます。www/pkg/ がローカルパッケージデータに対して古い場合、デプロイは公開を拒否します。