Debugging infeasible models

[johanlofberg]

Discussed in https://github.com/yalmip/YALMIP/discussions/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.