Debugging infeasible models

[johanlofberg]

Discussed in #969

^{Originally posted by zoharl3 August 20, 2021}
There's this comprehensive page:

https://yalmip.github.io/debugginginfeasible

Usually, that's what I do more or less.

I just wanted to point out that it's possible to write a general tool to find the problematic constraint given a problem:

• Change the objective to 1.
• Run the problem with all possibilities of constraints turned on and off. Offer also a faster option that turns on constraints inclemently and reports the first failure.
• Maybe name the constraints automatically as the line number in code.