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

Question

我是限制编程的新手，我试图通过地理位置示例here来解决群组照片问题。

问题的目标是找到最小违规的解决方案。查找违规行为需要进行比较并找到绝对值。 试图比较JuMP变量，如：

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

给了我

  

错误：LoadError：MethodError：isless没有匹配无法的方法（:: Int64，:: JuMP.GenericAffExpr {Float64，JuMP.Variable}）

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

编辑：表达式 sum(abs(pos[spec[i][0]] - pos[spec[i][1]]) > 1)应尽量减少。 （假设true为1而false为0）。