macOS
Homebrewverified · 100%
brew install boolectorlocal Homebrew formula metadata
MacPortsverified · 94%
sudo port install boolectorMacPorts ports tree · math/boolector/Portfile · source: api.github.com
brew / rank 10335
Install boolector with Homebrew, apt, MacPorts, Nix
SMT solver for fixed-size bit-vectors. Version 3.2.4 via Homebrew; verified 2026-07-05. Also installable with debian: sudo apt install boolector.
install
Additional install commands
Linux
Debian aptverified · 92%
sudo apt install boolectorDebian stable package indexes · boolector · source: deb.debian.org
Nixverified · 92%
nix profile install nixpkgs#boolectornixpkgs package indexes · pkgs/by-name/bo/boolector/package.nix · source: api.github.com
overview
Package summary
SMT solver for fixed-size bit-vectors
Project links
Commands and aliases
- boolector
- btormc
security posture
No protected-tool coverage found yet
No matching local secret-handling manifest was found for boolector. Nucleus package metadata is still published here so future coverage has a stable package URL.
Install behavior
- No Homebrew bottle metadata was recorded.
Recommended review
Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.
executables
Installed executables
| Command | Kind | Exposure | Note |
|---|---|---|---|
boolector | executable | indexed executable | Discovered from the local executable index. |
btormc | executable | indexed executable | Discovered from the local executable index. |
freshness
Version and freshness
These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.
page generated2026-08-03
manager version3.2.4
manager updated2026-07-05
local dataunknown
upstreamnot available
latest detectednot detected
- okNo freshness warnings were generated.
install metadata
Package metadata
| Package key | brew:boolector |
|---|---|
| Version | 3.2.4 |
| Package manager | Homebrew |
| Homepage | https://boolector.github.io/ |
| Repository | https://github.com/Boolector/boolector |
| Last updated | 2026-07-05T18:49:47+09:00 |
| Pulse | updated |
| Bottle | not recorded |
| Service | none declared |
source database matches
Other package-manager records
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
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 dependencies
- normalized package name match
- Matched by: Boolector
Nix95%
boolector
nix profile install nixpkgs#boolector- normalized package name match
- Matched by: 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 dependencies
- normalized package name match
- Matched by: Boolector
MacPorts95%
boolector
sudo port install boolector- normalized package name match
- Matched by: Boolector
source trail
Generated from repository data
This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.
Used sources
- cross-ecosystem install command graph
- external package-manager database matches
- pkg.so package database