lingo
MODEL:
sets:
banci/1..12/:a1,a2,a3,a4,a5,b;
endsets
min=z;
z=@smax(a1(1)+a2(1)+a3(1)+a4(1)+a5(1),a1(2)+a2(2)+a3(2)+a4(2)+a5(2),a1(2)+a2(2)+a3(2)+a4(2)+a5(2),a1(3)+a2(3)+a3(3)+a4(3)+a5(3),a1(4)+a2(4)+a3(4)+a4(4)+a5(4),a1(5)+a2(5)+a3(5)+a4(5)+a5(5),a1(6)+a2(6)+a3(6)+a4(6)+a5(6),a1(7)+a2(7)+a3(7)+a4(7)+a5(7),a1(8)+a2(8)+a3(8)+a4(8)+a5(8),a1(9)+a2(9)+a3(9)+a4(9)+a5(9),a1(10)+a2(10)+a3(10)+a4(10)+a5(10),a1(11)+a2(11)+a3(11)+a4(11)+a5(11),a1(12)+a2(12)+a3(12)+a4(12)+a5(12));
@for(banci(I):a1(I)=1;
b(1)=@if(a1(1)+a2(1)+a3(1)+a4(1)+a5(1)#ge#1,1,0);
b(2)=@if(a1(2)+a2(2)+a3(2)+a4(2)+a5(2)#ge#1,1,0);
b(3)=@if(a1(3)+a2(3)+a3(3)+a4(3)+a5(3)#ge#1,1,0);
b(4)=@if(a1(4)+a2(4)+a3(4)+a4(4)+a5(4)#ge#1,1,0);
b(5)=@if(a1(5)+a2(5)+a3(5)+a4(5)+a5(5)#ge#1,1,0);
b(6)=@if(a1(6)+a2(6)+a3(6)+a4(6)+a5(6)#ge#1,1,0);
b(7)=@if(a1(7)+a2(7)+a3(7)+a4(7)+a5(7)#ge#1,1,0);
b(8)=@if(a1(8)+a2(8)+a3(8)+a4(8)+a5(8)#ge#1,1,0);
b(9)=@if(a1(9)+a2(9)+a3(9)+a4(9)+a5(9)#ge#1,1,0);
b(10)=@if(a1(10)+a2(10)+a3(10)+a4(10)+a5(10)#ge#1,1,0);
b(11)=@if(a1(11)+a2(11)+a3(11)+a4(11)+a5(11)#ge#1,1,0);
b(12)=@if(a1(12)+a2(12)+a3(12)+a4(12)+a5(12)#ge#1,1,0);
b(6)+b(7)+b(8)+b(9)+b(10)+b(11)+b(12)