Existing operation fits a desired behavior or its precondition just needs to be relaxed
Joshua27 opened this issue · comments
This issue has been fixed within the Prolog backend.
Joshua27 / BSynthesis
Repair and Generation of Formal Models Using Synthesis (User Interface)