# Installer boolector avec Homebrew, apt, MacPorts, Nix

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de boolector pour les workflows d'agents IA.

## installation

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

Commandes d'installation supplémentaires:

### macOS

- Homebrew (100%):

```sh
brew install boolector
```

  Preuve: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install boolector
```

  Preuve: 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
```

  Preuve: 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
```

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

## Faits du paquet

- **Clé du paquet:** brew:boolector
- **Gestionnaire de paquets:** Homebrew
- **Version:** 3.2.4
- **Résumé source:** SMT solver for fixed-size bit-vectors
- **Page d'accueil:** <https://boolector.github.io/>
- **Dépôt:** <https://github.com/Boolector/boolector>
- **Docs amont:** <https://boolector.github.io/>
- **Dernière mise à jour:** 2026-07-05T18:49:47+09:00
- **Généré:** 2026-08-04T22:13:35+00:00

## exécutables

- boolector (alias)
- btormc (alias)

## Comportement d'installation

- Bouteille: non disponible

## Version et fraîcheur

- page générée: 2026-08-04
- version du gestionnaire: 3.2.4

## Notes de sécurité

Aucun manifest local de gestion des secrets correspondant n'a été trouvé pour boolector. Les métadonnées de paquet restent publiées ici afin que la couverture future dispose d'une URL stable.


## Autres enregistrements de gestionnaires de paquets

- 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


## Liens liés

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

## Sources

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