16 lines
335 B
Plaintext
16 lines
335 B
Plaintext
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"];
|