{"name":"OBC-Solve","short_name":"OBC-Solve","description":"An exact symbolic engine and discovery tool for analyzing transition systems and shortest-path control sequences in complex state spaces.","icons":[{"src":"https://media.base44.com/images/public/6ac90afe8aee2eb94044f1d6/21b6d364b_logo.png","sizes":"192x192","type":"image/png"},{"src":"https://media.base44.com/images/public/6ac90afe8aee2eb94044f1d6/21b6d364b_logo.png","sizes":"512x512","type":"image/png"}],"start_url":"https://obc-solve.net","display":"standalone","theme_color":"#000000","background_color":"#ffffff","scope":"https://obc-solve.net"}