functional-test/fib.mzn at develop · dekker.one/bytecode-benchmarks

A set of benchmarks to compare a new prototype MiniZinc implementation

bytecode-benchmarks / functional-test / fib.mzn

at develop 153 B view raw

1
2function int: fib(int: n) =
3  if n <= 1 then n
4  else fib(n-1) + fib(n-2) endif;
5
6constraint forall(i in 1..1000) (let {int: comp = fib(23);} in true);