This demo will showcase the Restoration Framework as presented in the Human - Centred Feasibility Restoration in Practice journal paper, which can be found here.
The two applications use simple MiniZinc example models which have been augmented with annotations to help users finding and solving conflicts.
Both examples also showcase two of the three presented restoration methods, Quick MCS (SGC) and FindMUS. We don't showcase the Quick MUS (SGU) in this context as minimising the magnitude of the change is not appropriate for the given examples.
A guide will explain each state and the actions to take.