函数 "IlcMinDistance创建并返回一个约束条件。 该约束发布后，将确保 "x和 "y之间的绝对距离大于或等于 "k（即 "|x - y| >= k）。

IlcMinDistance(x,y,k)比 "IlcAbs(x-y) >= k更有效率，尽管在逻辑上是等价的。

IlcAllMinDistance是对数组中所有变量（而不是两个变量）执行操作的类似函数。