constraint-programming - 使用 choco 进行约束求解：寻找变量的唯一解

Question

我正在使用 Choco 来解决 CSP。一开始，我创建了一个变量数组，v如下所示：

IntVar[] v = new IntVar[5];

添加几个约束后，我将搜索解决方案并找到其中的多个。但是，我只想要独特的解决方案，例如v[4]。因此，所有解决方案都应该在变量中具有不同的值v[4]。

我怎样才能做到这一点？