sets:
setname/1..7/:x,t;
endsets
@for(setname(i):@for(setname(j)|i#ne#j:(x(i)+t(i)#le#x(j))#or#(x(j)+t(j)#le#x(i))=1));!x_i+t_i
sets:
setname/1..7/:x,t;
endsets
@for(setname(i):@for(setname(j)|i#ne#j:(x(i)+t(i)#le#x(j))#or#(x(j)+t(j)#le#x(i))=1));!x_i+t_i