View the model
Download the model
Motivation: Sometimes a simple model is unexpectedly infeasible.
How should one identify the cause of the unexpected infeasibility?
A useful approach is that of making constraints "soft."
Basic idea: Add a "Superman" or artificial variable that can be used to always
make the constraint feasible, however, the cost of the superman
variable is very high, so that it will not be used if the
model really has a feasible solution;