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

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

formulas(assumptions).
 (c2 = c4) & (c2 = c5) & (c2 = c7) & ((c1 = c8) | (c3 = c6)).  %symmetry

  c1 + c2 + c3 = 10.     c6 + c7 + c8 = 10.
  c1 + c4 + c6 = 10.     c3 + c5 + c8 = 10.
 
  c1 + c2 + c3 + c4 + c5 + c6 + c7 + c8 = 32.         
 %c1 + c2 + c3 + c4 + c5 + c6 + c7 + c8 = 26.
end_of_list.
