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

list(distinct).
    [0,a1,a2,a3,a4,a5,b1,b2,b3,b4,b5].
end_of_list. 

formulas(five_pointed_star). 
  a1 + b2 + b3 + a3 = 24.    a1 + b1 + b5 + a4 = 24.
  a2 + b2 + b1 + a5 = 24.    a2 + b3 + b4 + a4 = 24.
  a3 + b4 + b5 + a5 = 24.
end_of_list.  

