model:sets:Jing/1..20/;Out/1..13/;JingOut(Jing,Out):dat;Result(Jing,Out):x;TheMin(Jing,Out);endsetsdata:dat=（20*13的数据）;enddata@for(Result(i,j):@bin(x(i,j)));　　　　　　!所有元素只取0和1@for(Jing(i):@sum(Result(i,j):x(i,j))=1);!每一个巡警点必须分配一个地点;@for(Out(j):@sum(Result(i,j):x(i,j))>=1);!所有的出口分配巡警点数>=1;@for(Out(j):@sum(Result(i,j):x(i,j))<=2);!所有的出口分配巡警点数<=1;min=@sum(TheMin(i,j):x(i,j)*dat(i,j));end