{"cpe_name_id":"4C34A2B3-4678-43DF-B079-99588FA80BCD","cpe_uri":"cpe:2.3:a:boolector_project:boolector:3.0.0:*:*:*:*:*:*:*","created_at":"2026-06-01T09:25:03.139604","deprecated":false,"deprecated_by":null,"edition":"*","from_proposal":false,"id":270307,"language":"*","notes":"Imported from NVD CPE 2.0 feed","other":"*","part":"a","product_id":35911,"product_uuid":"352d26da-f9bd-568a-8074-057574aeec00","purl_mappings":[{"cpe_name_id":"4C34A2B3-4678-43DF-B079-99588FA80BCD","created_at":"2026-06-01T10:11:11.668934","id":120809,"purl":"pkg:deb/debian/boolector","source":"purl2cpe","updated_at":"2026-06-01T10:11:11.668936"},{"cpe_name_id":"4C34A2B3-4678-43DF-B079-99588FA80BCD","created_at":"2026-06-01T10:11:11.668939","id":120811,"purl":"pkg:deb/ubuntu/boolector","source":"purl2cpe","updated_at":"2026-06-01T10:11:11.668939"},{"cpe_name_id":"4C34A2B3-4678-43DF-B079-99588FA80BCD","created_at":"2026-06-01T10:11:11.668941","id":120813,"purl":"pkg:github/boolector/boolector","source":"purl2cpe","updated_at":"2026-06-01T10:11:11.668942"},{"cpe_name_id":"4C34A2B3-4678-43DF-B079-99588FA80BCD","created_at":"2026-06-01T10:11:11.668944","id":120815,"purl":"pkg:pypi/pyboolector","source":"purl2cpe","updated_at":"2026-06-01T10:11:11.668945"}],"sw_edition":"*","target_hw":"*","target_sw":"*","title":"Boolector Project Boolector 3.0.0","update":"*","updated_at":"2026-06-01T09:25:03.139606","vendor_id":7070,"vendor_uuid":"d4b082ca-d0ef-5a21-954b-9cc75a30203f","version":"3.0.0","vulnerability_references":[{"approved_at":"2026-06-08T05:14:14.533164","cpe_applicability":"vulnerable","id":1602288,"rationale":"Imported from gcve-enriched-dumps CVE data","submitted_at":"2026-06-08T05:14:14.534798","vulnerability_id":"CVE-2019-7560","vulnerability_source":"CVE"}]}