{"cpe_name_id":"5261C6BE-8BF8-475F-BD76-C9689FDACDDA","cpe_uri":"cpe:2.3:a:btor2tools_project:btor2tools:2018-07-28:*:*:*:*:*:*:*","created_at":"2026-06-01T09:28:41.956885","deprecated":false,"deprecated_by":null,"edition":"*","from_proposal":false,"id":541362,"language":"*","notes":"Imported from NVD CPE 2.0 feed","other":"*","part":"a","product_id":57652,"product_uuid":"bfb02622-bf1b-5409-91b3-77f80086ca14","purl_mappings":[{"cpe_name_id":"5261C6BE-8BF8-475F-BD76-C9689FDACDDA","created_at":"2026-06-01T10:14:37.882642","id":1398255,"purl":"pkg:github/boolector/btor2tools","source":"purl2cpe","updated_at":"2026-06-01T10:14:37.882643"}],"sw_edition":"*","target_hw":"*","target_sw":"*","title":"Btor2Tools Project Btor2Tools 2018-07-28","update":"*","updated_at":"2026-06-01T09:28:41.956887","vendor_id":11690,"vendor_uuid":"e556c41b-99f0-5cf3-aa0d-aaab061b51ec","version":"2018-07-28","vulnerability_references":[]}