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

查看 boolector 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

## 安装

```sh
sudo av install brew:boolector
```

其他安装命令:

### macOS

- Homebrew (100%):

```sh
brew install boolector
```

  证据: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install boolector
```

  证据: MacPorts ports tree: math/boolector/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

### Linux

- Debian apt (92%):

```sh
sudo apt install boolector
```

  证据: Debian stable package indexes: boolector from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

- Nix (92%):

```sh
nix profile install nixpkgs#boolector
```

  证据: nixpkgs package indexes: pkgs/by-name/bo/boolector/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

## 软件包事实

- **软件包键:** brew:boolector
- **软件包管理器:** Homebrew
- **版本:** 3.2.4
- **来源摘要:** SMT solver for fixed-size bit-vectors
- **主页:** <https://boolector.github.io/>
- **仓库:** <https://github.com/Boolector/boolector>
- **最后更新:** 2026-07-05T18:49:47+09:00
- **已生成:** 2026-08-03T19:37:03+00:00

## 可执行文件

- boolector (别名)
- btormc (别名)

## 安装行为

- Bottle: 不可用

## 版本和新鲜度

- 页面生成时间: 2026-08-03
- 管理器版本: 3.2.4

## 安全说明

没有找到 boolector 的匹配本地密钥处理 manifest。Nucleus 软件包元数据仍在此发布，以便未来覆盖拥有稳定的软件包 URL。


## 其他软件包管理器记录

- Debian apt - boolector - 1.5.118.6b56be4.121013-1.3: normalized package name match | Debian stable package indexes: boolector from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | SMT solver for bit-vectors and arrays | http://fmv.jku.at/boolector/
- Nix - boolector: normalized package name match | nixpkgs package indexes: pkgs/by-name/bo/boolector/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
- Ubuntu apt - boolector - 1.5.118.6b56be4.121013-1.3: normalized package name match | Ubuntu 24.04 LTS package indexes: boolector from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | SMT solver for bit-vectors and arrays | http://fmv.jku.at/boolector/
- MacPorts - boolector: normalized package name match | MacPorts ports tree: math/boolector/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1


## 来源

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