/* 

  Cookie puzzle in Picat.

  https://www.facebook.com/permalink.php?story_fbid=3637393652994934&id=140829689318032
  """
  1 cookie with 10 raisins + 1 cookie with 10 raisins + 1 cookie with 10 raisins = 30
  2 bananas + 2 bananas = 14
  2 bananas + 3*clock + 3*clock = 8
  2*clock + 1 banana + 1 banana * 1 cookie with 7 raisins = ?
  """

  The clock is at 3 o'clock for the third line, 
  and at 2 o'clock in the last line.

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

*/

% import v3_utils.
% import util.
import cp.


main => go.

go ?=>
  Raisins :: 1..100,
  Banana :: 1..100,
  Clock :: 1..1000,
  X :: 1..10000,

  10*Raisins + 10*Raisins + 10*Raisins #= 30,
  2*Banana + 2*Banana + 10*Raisins #= 14,
  2*Banana + 3*Clock + 3*Clock #= 8,
  
  2*Clock + 1*Banana + 1*Banana * 7*Raisins #= X,


  Vars = [Raisins,Banana, omething,X],
  solve(Vars),
  println(x=X),
  println([raisins=Raisins, banana=Banana,clock=Clock]),
  nl,
  fail,

  nl.
go => true.