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

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>
- **上流ドキュメント:** <https://boolector.github.io/>
- **最終更新:** 2026-07-05T18:49:47+09:00
- **生成日時:** 2026-08-04T22:13:35+00:00

## 実行可能ファイル

- boolector (エイリアス)
- btormc (エイリアス)

## インストール挙動

- Bottle: 利用不可

## バージョンと鮮度

- ページ生成日: 2026-08-04
- マネージャ版: 3.2.4

## セキュリティノート

boolector に一致するローカルシークレット処理マニフェストは見つかりませんでした。将来の対応で安定したパッケージ 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


## 関連リンク

- [Homebrew utility packages](https://pkg.so/ja/brew-utility-packages/) - Matched curated package taxonomy and local package facts.
- [bitwuzla](https://pkg.so/ja/brew/bitwuzla/) - Local package facts share a topical domain. Shared terms: bit, bit-vectors, smt, solver, vectors.
- [stp](https://pkg.so/ja/brew/stp/) - Local package facts share a topical domain. Shared terms: smt, solver.
- [yices2](https://pkg.so/ja/brew/yices2/) - Local package facts share a topical domain. Shared terms: smt, solver.

## ソース

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