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;