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

A set of benchmarks to compare a new prototype MiniZinc implementation

bytecode-benchmarks / functional-test / ack.mzn

at develop 253 B view raw

 1function int: ack(int: m, int: n) =
 2  if m == 0 then
 3    n + 1
 4  elseif n == 0 then
 5    ack(m-1, 1)
 6  else
 7    ack(m-1, ack(m, n-1))
 8  endif;
 9
10constraint forall (i in 1..1000) (let {int: comp = ack(3,6);} in true);
11
12% constraint trace("\(ack(4,2))\n");