#------------ parametri ---------------------

set O;	# insieme degli operai
set T; 	# insieme delle attività
set A within (O cross T); # insieme degli archi	

#------------ variabili ---------------------

var x{(i,j) in A} binary;

#------------ funzione obiettivo ---------------------

maximize AttivitaSvolte: sum{(i,j) in A} x[i,j];

#------------ vincoli -------------------

s.t. v_operai{i in O}: sum{j in T: (i,j) in A} x[i,j] <= 1;

s.t. v_attivita{j in T}: sum{i in O: (i,j) in A} x[i,j] <= 1;