Boolector
No product notes yet.
Product aliases
- No approved aliases include this product yet.
Relationship graph
Explore approved relationships and the records in the combined view, including CPE entries. Arrows follow the source → target direction; dashed links show ownership. The outlined node is the current record.
Drag nodes to arrange them, scroll to zoom, and drag the background to pan. Select a node or use the record picker to inspect it.
Use Simplify graph to group records in this view. Double-click a group to show its members; switch rules off to restore the full view.
GCVE vulnerability lookup
Find vulnerabilities on db.gcve.eu for a specific vendor/product tuple, across versions. Choose a tuple from this record or its combined view.
Select a tuple and run a lookup.
Approved metadata
- No approved metadata yet.
Approved notes
- No approved notes yet.
Approved relationships
- No approved relationships yet.
Combined product view
This product does not currently have eligible product or vendor relationships for a combined view
(canonical-of, equivalent-to, renamed-to, synonym-of, vendor-merge-into).
PURL mappings
| PURL | CPE URI | Version | Source | Last updated |
|---|---|---|---|---|
pkg:deb/debian/boolector |
cpe:2.3:a:boolector_project:boolector:*:*:*:*:*:*:*:* |
* | purl2cpe | 2026-06-01 10:11:11.668938 |
pkg:deb/debian/boolector |
cpe:2.3:a:boolector_project:boolector:3.0.0:*:*:*:*:*:*:* |
3.0.0 | purl2cpe | 2026-06-01 10:11:11.668936 |
pkg:deb/ubuntu/boolector |
cpe:2.3:a:boolector_project:boolector:*:*:*:*:*:*:*:* |
* | purl2cpe | 2026-06-01 10:11:11.668941 |
pkg:deb/ubuntu/boolector |
cpe:2.3:a:boolector_project:boolector:3.0.0:*:*:*:*:*:*:* |
3.0.0 | purl2cpe | 2026-06-01 10:11:11.668939 |
pkg:github/boolector/boolector |
cpe:2.3:a:boolector_project:boolector:*:*:*:*:*:*:*:* |
* | purl2cpe | 2026-06-01 10:11:11.668943 |
pkg:github/boolector/boolector |
cpe:2.3:a:boolector_project:boolector:3.0.0:*:*:*:*:*:*:* |
3.0.0 | purl2cpe | 2026-06-01 10:11:11.668942 |
pkg:pypi/pyboolector |
cpe:2.3:a:boolector_project:boolector:*:*:*:*:*:*:*:* |
* | purl2cpe | 2026-06-01 10:11:11.668946 |
pkg:pypi/pyboolector |
cpe:2.3:a:boolector_project:boolector:3.0.0:*:*:*:*:*:*:* |
3.0.0 | purl2cpe | 2026-06-01 10:11:11.668945 |
db.gcve.eu vulnerability lookup
Run a CPE search on db.gcve.eu at product-level wildcard or on an exact CPE version.
cpe:2.3:a:boolector_project:boolector:*:*:*:*:*:*:*:*
CPE entries
| CPE URI | Version | Part | GCVE lookup | Export |
|---|---|---|---|---|
cpe:2.3:a:boolector_project:boolector:3.0.0:*:*:*:*:*:*:* |
3.0.0 | a | ||
cpe:2.3:a:boolector_project:boolector:*:*:*:*:*:*:*:* |
* | a |
Inspect record JSON
Open this panel to browse, search, copy or download the JSON record.