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

list(distinct).
 [0,c1,c2,c3,c4,5,c6,c7,c8,c9].
end_of_list.

formulas(five).  
 c5 = 5.                             
 c1 + c2 + c3 = 15 & c4 + c5 + c6 = 15 & c7 + c8 + c9 = 15.  %sum(line)
 c1 + c4 + c7 = 15 & c2 + c5 + c8 = 15 & c3 + c6 + c9 = 15.  %sum(column)
 c1 + c5 + c9 = 15 & c3 + c5 + c7=15.                     %sum(diagonals)
end_of_list.

