生产规划问题

约束：资源约束

目标：最大化利润

枚举类型的产品product，每个产品对应的收益：array[product] of float: profit,

enum resource 资源, array[resource] of float: capacity，每种资源对应的限制

 array[product, resource] 对应每个产品使用多少资源

变量：

% Variables: 每个产品生产的量

array[PRODUCT] of var int: produce;

约束：

% Must produce a non-negative amount

constraint forall(p in PRODUCT)

(produce[p] >= 0);

% 所有用到该资源的产品，消耗的总资源小于该产品的总量:

constraint forall(r in RESOURCE)(

sum (p in PRODUCT)

(consumption[p, r] * produce[p]) <= capacity[r]

);

目标：

% Maximize profit

solve maximize sum(p in PRODUCT)

(profit[p]*produce[p]);

output ["\(p): \(produce[p])\n" | p in PRODUCT];

minizinc 中二维数组初始化：

起始于：[|, 用 | 分割行， 用|] 收尾

例如：[| 1.0, 1.0

            |2.0, 2.0 |]

函数：array n d 可以把一维的数组变为多维进行初始化（n是变量）

consumption = array2d(1..5, 1..4,

[1.5, 1.0, 1.0, 1.0,

2.0, 0.0, 2.0, 0.0,

1.5, 0.5, 1.0, 1.0,

0.5, 1.0, 0.9, 1.5,

0.1, 2.5, 0.1, 2.5];

数组推导式可以生成一维数组