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

list(distinct).
  [S, E, N, D, M, O, T, Y].
end_of_list.

formulas(assumptions).
  S != 0.
  M  = 1.
  S * 1000 + E * 100 + N * 10 + D + M * 1000 + O * 100 + S * 10 + T = 
  M * 10000 + O * 1000 + N * 100 + E * 10 + Y.
end_of_list.
