set(arithmetic).
assign(domain_size,11).
assign(max_models,-1).

list(distinct).
   [t1,t2,t3,t4,t5,t6,t7,t8,t9,t10,0].
end_of_list.

formulas(assumptions).
   t1 + t2 = t6 + t7.        t2 + t3 = t7 + t8.
   t3 + t4 = t8 + t9.        t4 + t5 = t9 + t10.
   t5 + t6 = t10 + t1.
   t10=10.
end_of_list.
