The following features are demonstrated in this example:
problem type: mixed integer linear programming
set of tuples
MOD function
set operator DIFF
modeling if-then constraints by using binary variables
using a colon (:) to select members of a set
.sol variable suffix
creating multiple data sets
SGPLOT procedure