基于索引排除约束的正确方法

Question

假设以下约束：

// int array1[1];
A() : array1{0} {}

// int array2[2][2];
A() : array2{{0}} {}

// int array3[3][3][3];
A() : array3{{{0}}} {}

如何从上面排除约束@constraint(model, [i=1:5,j=1:5], a[i] <= b[j]) ？这在AMPL中很简单，但我在JuMP中找不到任何类似的语法。

Answer 1

@constraint(model, [i=1:5, j=1:5; i != j], a[i] <= b[j])