{"approved_metadata":[],"approved_notes":[],"approved_relationships":[],"created_at":"2026-06-01T09:25:03.138481","id":7070,"name":"boolector_project","notes":null,"product_count":1,"title":"Boolector Project","updated_at":"2026-06-01T09:25:03.138482","uuid":"d4b082ca-d0ef-5a21-954b-9cc75a30203f"}