20. TORA Experiment. Consider the following LP model:

Maximize z = 5xI + 4X2 subject to 6xI + 4X2 ::; 24 6x1 + 3X2 ::; 22.5 XI + X2::; 5 XI + 2X2::; 6

- XI + X2::; 1 xz::; 2 XJ, X2 ~ 0 In LP, a constraint is said to be redundant if its removal from the model leaves the feasible solution space unchanged. Use the graphical facility ofTORA to identify the redundant constraints, then show that their removal (simply by not graphing them) does not affect the solution space or the optimal solution.