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

Question

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

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