# 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>
- **Dernière mise à jour:** 2026-07-05T18:49:47+09:00
- **Généré:** 2026-08-03T19:37:03+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-03
- 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 Nucleus 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


## Sources

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