pkg.soopen package index

brew / 順位 10335

boolector を Homebrew, apt, MacPorts, Nix でインストール

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

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

インストール

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

macOS

Homebrew確認済み · 100%
brew install boolector

local Homebrew formula metadata

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

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

Linux

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

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

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

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

概要

パッケージ概要

SMT solver for fixed-size bit-vectors

コマンドとエイリアス

  • boolector
  • btormc

セキュリティ状態

保護ツール対応はまだ見つかっていません

boolector に一致するローカルシークレット処理マニフェストは見つかりませんでした。将来の対応で安定したパッケージ URL を使えるよう、Nucleus パッケージメタデータはここに公開されています。

インストール挙動

  • Homebrew bottle メタデータは記録されていません。

推奨レビュー

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

実行可能ファイル

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

コマンド種類公開範囲メモ
boolector実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。
btormc実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。

鮮度

バージョンと鮮度

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

ページ生成日2026-08-03
マネージャ版3.2.4
マネージャ更新日2026-07-05
ローカルデータ不明
上流利用不可
検出された最新未検出
  • OK鮮度警告は生成されていません。

インストールメタデータ

パッケージメタデータ

パッケージキーbrew:boolector
バージョン3.2.4
パッケージマネージャHomebrew
ホームページhttps://boolector.github.io/
リポジトリhttps://github.com/Boolector/boolector
最終更新2026-07-05T18:49:47+09:00
Pulseupdated
Bottle未記録
サービス宣言なし

ソースデータベース一致

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

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

Debian apt95%

boolector 1.5.118.6b56be4.121013-1.3

SMT solver for bit-vectors and arrays

http://fmv.jku.at/boolector/

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

boolector

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

boolector 1.5.118.6b56be4.121013-1.3

SMT solver for bit-vectors and arrays

http://fmv.jku.at/boolector/

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

boolector

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

パッケージグラフ

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

エージェント安全ガイド

ソース経路

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

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

使用ソース

  • cross-ecosystem install command graph
  • external package-manager database matches
  • pkg.so package database