assign(domain_size,9).              %6 can be used for 9
assign(max_models,-1).
set(arithmetic).

list(distinct).
  [f0,f1,f2,3,4,5].
  [g0,g1,g2,g3,1,2,3,4,5].
end_of_list.

formulas(calendar).
  (f0 = 0) & (f1 = 1) & (f2 = 2). 
  (g0 = 0) | (g1 = 0) | (g2 = 0) | (g3 = 0). 

  f0 < f1.   f1 < f2.               %avoid isomorphisms
  g0 < g1.   g1 < g2.   g2 < g3.    %avoid isomorphisms
 end_of_list.
