{"cpe_name_id":"9c9542c7-7a8f-48ac-9385-f0f6e0ba5ffc","cpe_uri":"cpe:2.3:a:boolector_project:boolector:*:*:*:*:*:*:*:*","created_at":"2026-06-01T10:11:11.667783","deprecated":false,"deprecated_by":null,"edition":"*","from_proposal":false,"id":1738119,"language":"*","notes":"Imported from purl2cpe mapping","other":"*","part":"a","product_id":35911,"product_uuid":"352d26da-f9bd-568a-8074-057574aeec00","purl_mappings":[{"cpe_name_id":"9c9542c7-7a8f-48ac-9385-f0f6e0ba5ffc","created_at":"2026-06-01T10:11:11.668937","id":120810,"purl":"pkg:deb/debian/boolector","source":"purl2cpe","updated_at":"2026-06-01T10:11:11.668938"},{"cpe_name_id":"9c9542c7-7a8f-48ac-9385-f0f6e0ba5ffc","created_at":"2026-06-01T10:11:11.668940","id":120812,"purl":"pkg:deb/ubuntu/boolector","source":"purl2cpe","updated_at":"2026-06-01T10:11:11.668941"},{"cpe_name_id":"9c9542c7-7a8f-48ac-9385-f0f6e0ba5ffc","created_at":"2026-06-01T10:11:11.668943","id":120814,"purl":"pkg:github/boolector/boolector","source":"purl2cpe","updated_at":"2026-06-01T10:11:11.668943"},{"cpe_name_id":"9c9542c7-7a8f-48ac-9385-f0f6e0ba5ffc","created_at":"2026-06-01T10:11:11.668945","id":120816,"purl":"pkg:pypi/pyboolector","source":"purl2cpe","updated_at":"2026-06-01T10:11:11.668946"}],"sw_edition":"*","target_hw":"*","target_sw":"*","title":"Boolector","update":"*","updated_at":"2026-06-01T10:11:11.667785","vendor_id":7070,"vendor_uuid":"d4b082ca-d0ef-5a21-954b-9cc75a30203f","version":"*","vulnerability_references":[]}