在 JuMP/Gurobi 中添加 OR 约束

Adding an OR constraint in JuMP/Gurobi

我正在尝试向模型添加约束,将变量约束为集合中的值之一,即将 X 约束为 0 OR 3 OR 4。

当前代码如下:

@addConstraint(m, x==4)

但我想做类似的事情:

@addConstraint(m, x==0 or x==3 or x==4)

这在 julia 中可行吗?使用 JuMP 作为求解器。

将辅助变量 h3h4 定义为二进制,然后设置约束:x = 3*h3 + 4*h4h3 + h4 <= 1.