/* 

  Tommy's Birthday Coins coins puzzle in Picat.

  From Martin Chlond Integer Programming Puzzles:
  http://www.chlond.demon.co.uk/puzzles/puzzles2.html, puzzle nr. 2.
  Description  : Tommy's Birthday Coins
  Source       : Clarke, L.H., (1954), Fun with Figures, William Heinemann Ltd.
  """
  2. Tommy was given 15 coins for his birthday, all in half-crowns, shillings 
  and sixpences. When he added it up he found that he had 1 5s. 6d. 
  How many half-crowns was he given? (Clarke)
  """

  Answer: 8 half-crowns, 4 shillings and 3 sixpences

  This model was inspired by the XPress Mosel model created by Martin Chlond.
  http://www.chlond.demon.co.uk/puzzles/sol2s2.html

  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 =>
  Coin = 3,  
  C = 1..Coin,
  Value = [30,12,6],
  X = new_list(Coin),
  
  foreach(I in C) X[I] #>= 1 end, 
  sum([Value[I]*X[I] : I in C]) #= 306,
  sum(X) #= 15,

  solve(X),

  writeln(X),
  
  nl.