在MiniZinc中创建偶函数

Question

我的问题很简单，但是我对MiniZinc还是陌生的，所以这就是我要问的原因。

我想定义一个函数myeven，给定参数i，该函数返回一个偶数为0到2i的列表。

例如，

even（4）= [0,2,4,6,8]

您能告诉我该功能的代码

Answer 1

此问题可以使用数组理解来快速解决：

function array[int] of int: even(int: n) =
    [ 2*i | i in 0..n];