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

formulas(assumptions).
 c1 + c2 + c3 = 11.       c1 + c4 + c7 = 11.
 c7 + c8 + c9 = 11.       c3 + c6 + c9 = 11.
  
 c1 + c2 + c3 + c4 + c6 + c7 + c8 + c9 = 36.
end_of_list.
