{"cpe_name_id":"F9097E2E-601A-431B-821D-7EAE8947C4F8","cpe_uri":"cpe:2.3:a:minisat:minisat:2.0:*:*:*:*:*:*:*","created_at":"2026-06-01T09:44:27.883485","deprecated":false,"deprecated_by":null,"edition":"*","from_proposal":false,"id":1584966,"language":"*","notes":"Imported from NVD CPE 2.0 feed","other":"*","part":"a","product_id":147455,"product_uuid":"c4fc4a62-918c-5de1-9666-20e4a171b165","purl_mappings":[{"cpe_name_id":"F9097E2E-601A-431B-821D-7EAE8947C4F8","created_at":"2026-06-19T13:12:33.233874","id":2615509,"purl":"pkg:github/niklasso/minisat","source":"purl2cpe","updated_at":"2026-06-19T13:12:33.233874"}],"sw_edition":"*","target_hw":"*","target_sw":"*","title":"MiniSAT 2.0","update":"*","updated_at":"2026-06-01T09:44:27.883487","vendor_id":23763,"vendor_uuid":"d1154094-26ec-5dec-ae90-7d452ce0eb6c","version":"2.0","vulnerability_references":[]}