Forced Explanation

[susuhahnml]

Enter an explanation mode where the user can change things of a solution event if it leads to UNSAT. After all the changes are made, the solver will enforce the last changes made buy the user and try to fins a solution as close as possible to the one provided prioritazing the new selections.

• We can add and ground a new program with heuristc statements and an optimization to prefer something close to the previous options
• It is simpler if it all works only with assumptions.
  • Initial assumptions should always be set
• We would need a way to express that we are in this explanation state. In this state we should not compute any brave/cautious consequences since they are unsat.
• We would need a way to show that we are in this explanation state, maybe a window background?
• maybe it is all with low opacity except what has been selected?
  • clinguin_assume(X),