如何使用Java choco3 API添加约束ALLDifferent包含IntVar中元素的索引?

时间:2019-01-02 18:41:14

标签: java choco

我希望每个变量仅从列表中获取一个值,例如n1占3,n2占3,n3占4,我们有{{1} },那不是问题,我想要的是n1=n2

n1.index(list loads) != n2.index !=n3.index

0 个答案:

没有答案