Mathematical Programming Formulation

The formulation that is described here applies to each garage $k$. The PROC OPTMODEL statements call the linear programming solver in a loop, with one solve per garage.