sets:r/1..8/:d;c/1..8/:;link(r,c):x,y;endsets@for(r(i):@for(c(j):x(i,j)<=y(i,j)));!可用@for(link:x<=y)代替,此处举例;@for(r(i)|i#ge#2:d(i)>=3)
