julia - 如何对 JuMP 变量进行比较和类似的数值运算

Question

我是约束编程的新手，我试图从这里的 gecode 示例中解决合影问题。

该问题的目标是找到具有最少违规的解决方案。发现违规需要比较并找到绝对值。尝试比较 JuMP 变量，例如：

@defVar(m, pos[1:n])
pos[1]>0 # Testing

给我

错误：LoadError：MethodError：isless没有方法匹配 isless(::Int64, ::JuMP.GenericAffExpr{Float64,JuMP.Variable})

这甚至可能吗？任何帮助，将不胜感激。

编辑：表达式 sum(abs(pos[spec[i][0]] - pos[spec[i][1]]) > 1)将被最小化。（假设true为 1 且false为 0）。