You are right from a users point of view. I guess the difference comes from the solver's possibilities. I had some time ago talked to Abdullah about the not reported redundant constraints, and IIRC he said that they are simply discarded by the solver, if they don't do any harm. Which menas that they don't lead to inconsistencies. When writing this tutorial I have found some new aspects like suddenly fixing a sketch so that I will reopen the discussion.Isabel wrote: ↑Sat Aug 04, 2018 5:24 pmCan you tell me, why there are two different messages for the same thing? The "Unsolved" example seems to be just "Overconstrained". Similar with the "Redundant" case and the example with the additional equality constraints. The latter seems to be nothing else than redundant.
As for the conflicting constraints, I guess that the solver simply cannot propose a reasonable guess in some cases and thus reports the unsolved.
That's all I can say, perhaps Abdullah can shed more light on this.