{"aliases":[],"approved_metadata":[],"approved_notes":[],"approved_relationships":[],"cpe_count":8,"created_at":"2026-06-01T09:28:41.953103","id":57652,"name":"btor2tools","notes":null,"title":"Btor2Tools","updated_at":"2026-06-01T09:28:41.953105","uuid":"bfb02622-bf1b-5409-91b3-77f80086ca14","vendor_id":11690,"vendor_uuid":"e556c41b-99f0-5cf3-aa0d-aaab061b51ec"}