pkg.soopen package index

brew / 排名 10335

使用 Homebrew, apt, MacPorts, Nix 安装 boolector

查看 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 的匹配本地密钥处理 manifest。Nucleus 软件包元数据仍在此发布，以便未来覆盖拥有稳定的软件包 URL。

安装行为

  • 未记录 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

软件包图谱

链接来自本地软件包关系图、补充数据、依赖边、生态匹配和软件包 hub 归属。

来源线索

由仓库数据生成

此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。

使用的来源

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