Adjustments for new goal state - #169

Adjustments for new goal state#169

wintersteiger merged 2 commits into

mainimandra-ai/imandrax-api:mainfrom

christoph/new-goal-stateimandra-ai/imandrax-api:christoph/new-goal-stateCopy head branch name to clipboard