Решение ограничений с помощью choco: поиск уникальных решений для переменной
Я использую Чоко, чтобы решить CSP. В начале я создаю массив переменных v как это:
IntVar[] v = new IntVar[5];
После добавления нескольких ограничений я буду искать решения и нахожу их несколько. Тем не менее, я хочу только уникальные решения, например, для v[4], Поэтому все решения должны иметь различное значение в v[4] переменная.
Как мне этого добиться?