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

A set of benchmarks to compare a new prototype MiniZinc implementation

bytecode-benchmarks / functional-test / tak.mzn

at develop 207 B view raw

1function int: tak(int: x, int: y, int: z) =
2  if y < x then
3    tak(tak(x-1,y,z), tak(y-1,z,x), tak(z-1,x,y))
4  else z endif;
5
6constraint forall (i in 1..1000) (let {int: comp = tak(18, 12, 6); } in true );