macOS
Homebrewverifiziert · 100%
brew install boolectorlocal Homebrew formula metadata
MacPortsverifiziert · 94%
sudo port install boolectorMacPorts ports tree · math/boolector/Portfile · Quelle: api.github.com
brew / Rang 10335
boolector mit Homebrew, apt, MacPorts, Nix installieren
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für boolector in AI-Agent-Workflows.
Installation
Weitere Installationsbefehle
Linux
Debian aptverifiziert · 92%
sudo apt install boolectorDebian stable package indexes · boolector · Quelle: deb.debian.org
Nixverifiziert · 92%
nix profile install nixpkgs#boolectornixpkgs package indexes · pkgs/by-name/bo/boolector/package.nix · Quelle: api.github.com
Überblick
Paketzusammenfassung
SMT solver for fixed-size bit-vectors
Projektlinks
Befehle und Aliase
- boolector
- btormc
Sicherheitslage
Noch keine Protected-Tool-Abdeckung gefunden
Für boolector wurde kein passendes lokales Secret-Handling-Manifest gefunden. Nucleus-Paketmetadaten bleiben hier veröffentlicht, damit künftige Abdeckung eine stabile Paket-URL hat.
Installationsverhalten
- Es wurden keine Homebrew-Bottle-Metadaten erfasst.
Empfohlene Prüfung
Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.
Executables
Installierte Executables
| Befehl | Art | Sichtbarkeit | Hinweis |
|---|---|---|---|
boolector | Executable | indexiertes Executable | Aus dem lokalen Executable-Index erkannt. |
btormc | Executable | indexiertes Executable | Aus dem lokalen Executable-Index erkannt. |
Aktualität
Version und Aktualität
Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.
Seite generiert2026-08-03
Manager-Version3.2.4
Manager aktualisiert2026-07-05
lokale Datenunbekannt
Upstreamnicht verfügbar
neueste erkannte Versionnicht erkannt
- OKEs wurden keine Aktualitätswarnungen generiert.
Installationsmetadaten
Paketmetadaten
| Paketschlüssel | brew:boolector |
|---|---|
| Version | 3.2.4 |
| Paketmanager | Homebrew |
| Homepage | https://boolector.github.io/ |
| Repository | https://github.com/Boolector/boolector |
| Zuletzt aktualisiert | 2026-07-05T18:49:47+09:00 |
| Pulse | updated |
| Bottle | nicht erfasst |
| Dienst | keiner deklariert |
Source-Datenbank-Treffer
Andere Paketmanager-Einträge
Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.
Debian apt95%
boolector 1.5.118.6b56be4.121013-1.3
SMT solver for bit-vectors and arrays
sudo apt install boolector- Section: science
- Architecture: amd64
- 1 Abhängigkeiten
- normalized package name match
- Abgeglichen nach: Boolector
Nix95%
boolector
nix profile install nixpkgs#boolector- normalized package name match
- Abgeglichen nach: Boolector
Ubuntu apt95%
boolector 1.5.118.6b56be4.121013-1.3
SMT solver for bit-vectors and arrays
sudo apt install boolector- Section: universe/science
- Architecture: amd64
- 1 Abhängigkeiten
- normalized package name match
- Abgeglichen nach: Boolector
MacPorts95%
boolector
sudo port install boolector- normalized package name match
- Abgeglichen nach: Boolector
Quellspur
Aus Repository-Daten generiert
Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.
Verwendete Quellen
- cross-ecosystem install command graph
- external package-manager database matches
- pkg.so package database