param n;		# nombre d etudiants/projets
param p{1..n,1..n}>0;	# notes des etudiants aux projets
var x{1..n,1..n} >= 0;	# x[i,j] = 1 si l etudiant i a le projet j

minimize Satisfaction:
sum{i in 1..n, j in 1..n} p[i,j]*x[i,j];

subject to UnEtudParProjet {j in 1..n}:
sum{i in 1..n} x[i,j] = 1;

subject to UnProjParEtud {i in 1..n}:
sum{j in 1..n} x[i,j] = 1;