Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Debugging infeasible models #970

Open
johanlofberg opened this issue Aug 20, 2021 Discussed in #969 · 0 comments
Open

Debugging infeasible models #970

johanlofberg opened this issue Aug 20, 2021 Discussed in #969 · 0 comments
Assignees
@johanlofberg
Labels
module:core type:feature

Comments

@johanlofberg
Copy link
Member

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.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
module:core type:feature
1 participant
@johanlofberg