/* 

  AAA + BBB + CCC = BAAC in Picat.

  https://mindyourdecisions.com/blog/2017/12/27/puzzle-if-aaa-bbb-ccc-baac-what-are-a-b-and-c/
  """
  If AAA + BBB + CCC = BAAC, What Are A, B, And C?
  """


  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 ?=>
  L = [A,B,C],
  L :: 1..9, 
  AAA #= A*100+A*10+A,
  BBB #= B*100+B*10+B,
  CCC #= C*100+C*10+C,
  BAAC #= B*1000+A*100+A*10+C,
  BAAC #= AAA+BBB+CCC,
  all_different([A,B,C]),

  solve(L),
  println(L),
  fail,
  nl.

go => true.