用choco解决约束：为变量寻找唯一的解决方案

Question

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

IntVar[] v = new IntVar[5];

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

我怎样才能做到这一点？