/* 

  Swedish puzzle in Picat.

  ETT+ETT+ETT+ETT+ETT=FEM

  (Translator note: "ett" is one, and "fem" is five)
  
  [This was a show case for solving puzzles in Excel/Openoffice Calc.]
  


  This Picat model was created by Hakan Kjellerstrand, hakank@gmail.com
  See also my Picat page: http://www.hakank.org/picat/

*/

import cp.


main => go.

go ?=>
  FD = [E,T,F,M],
  FD :: 0..9,

  100*E + 10*T + T  +  
  100*E + 10*T + T  +  
  100*E + 10*T + T  +  
  100*E + 10*T + T  +  
  100*E + 10*T + T  #=
  100*F + 10*E + M,
  E #> 0,
  F #> 0,
  all_different(FD),
  
  solve(FD),
  
  println(FD),
  fail,
  nl.

go => true.


go2 ?=>
  FD = [E,T,F,M],
  FD :: 0..9,

  5*(100*E + 10*T + T) #= 100*F + 10*E + M,
  E #> 0,
  F #> 0,
  all_different(FD),
  
  solve(FD),
  
  println(FD),
  fail,
  nl.

go2 => true.