Code07

sets:
	station/1 .. 4/;
	work/A,B,C,D,E,F,G,H,I,J,K/:t;
	renwu(work,work)/A,B B,C C,F C,G F,J G,J J,K D,E E,H E,I/;
	fenpei(work,station):x;
endsets

data:
	t = 45, 11, 9, 50, 15, 12, 12, 12, 12, 8, 9;
enddata

min = z;

@max(station(k):@sum(work(i):t(i)*x(i,k))) = z;
@for(work(i):@sum( station(k) : x(i,k)) = 1);
@for(renwu(i,j) | i #LE# j:@sum(station(k)  : k * x(j,k) - k * x(i,k)) >= 0);
@for(fenpei(i,j) : @bin(x(i,j)));