# n es la cantidad de amigos
param n:=5;
# V es el conjunto de amigos
set V:={1..n};
# a es la matriz de amistades
param a[V*V]:=
  |1,2,3,4,5|
|1|0,1,1,0,0|
|2|1,0,1,0,0|
|3|1,1,0,1,1|
|4|0,0,1,0,1|
|5|0,0,1,1,0|;
# x[i]=1 si y solo si i esta en el grupo cerrado de amigos
var x[V] binary;
# maximizamos la cantidad de amigos
maximize fobj: sum <i> in V: x[i];
# sujeto a que son un grupo cerrado de amigos
subto grupo: forall <i,j> in V*V with a[i,j]==0 and i<j: x[i]+x[j]<=1;