{"aliases":[],"approved_metadata":[],"approved_notes":[],"approved_relationships":[],"cpe_count":2,"created_at":"2026-06-01T09:25:03.138825","id":35911,"name":"boolector","notes":null,"title":"Boolector","updated_at":"2026-06-01T09:25:03.138826","uuid":"352d26da-f9bd-568a-8074-057574aeec00","vendor_id":7070,"vendor_uuid":"d4b082ca-d0ef-5a21-954b-9cc75a30203f"}