The decision variables in this model are the members of the X attribute, which is defined on the TXS set. X(t,s) is a binary variable which is 1 if task t is assigned to station s. Otherwise, it is 0. The X attribute is forced to being binary in the expression:

! The X(I,J) assignment variables are

   binary integers;

 @FOR( TXS: @BIN( X));

We also introduce the scalar variable CYCTIME to represent the cycle time for the entire assembly line, which is computed by taking the maximum cycle time over each of the workstations.