model:sets:number/1..9/;link(number,number):a,x;endsetsdata:a=0 4 0 0 0 6 0 0 5 0 0 0 7 0 0 1 0 0 0 0 0 0 0 0 8 0 2 0 0 0 2 0 1 0 0 0 0 9 0 0 0 0 0 3 0 0 0 0 0 0 8 0 0 0 0 0 0 0 4 0 0 7 0 1 0 5 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0;enddatamin=@sum(link:x);@for(link(i,j)|a(i,j)#ge#1:x(i,j)-a(i,j)=0);@for(number(i):@for(number(j):@for(number(k)|k#ne#j:@abs(x(i,j)-x(i,k))>0)));@for(number(j):@for(number(i):@for(number(k)|k#ne#i:@abs(x(i,j)-x(k,j))>0)));@for(number(m):@for(link(i,j)|3*@floor((i-1)/3)+@floor((j-1)/3)+1#eq#m:@for(link(h,k)|3*@floor((h-1)/3)+@floor((k-1)/3)+1#eq#m#and#i#ne#k#and#j#ne#k:@abs(x(i,j)-x(h,k))>0)));@for(link:@bnd(1,x,9);@gin(x));end
