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

formulas(latin_square).
  f(x,y1) = f(x,y2)  -> y1 = y2.
  f(x1,y) = f(x2,y)  -> x1 = x2.
end_of_list.

formulas(futoshiki).
  f(0,2) > f(0,3).    f(0,0) < f(1,0).    f(0,3) > f(1,3).    
  f(2,1) > f(3,1).    f(2,2) > f(3,2).
  f(1,1) = 1.         %initial value
end_of_list.
