function var int: fibonacci(int: n) =
  let {
    array[0..n] of var int: fibonacci;
    constraint forall(a in 0..n)(
      fibonacci[a] = if (a == 0 \/ a == 1) then
        a
      else
        fibonacci[a-1]+fibonacci[a-2]
      endif
    )
  } in fibonacci[n];

var int: fib = fibonacci(6);
solve satisfy;
output [show(fib),"\n"];