Как добавить ограничение ALLDifferent содержит индексы элементов в IntVar, используя java choco3 API?

Question

Я хочу, чтобы каждая переменная принимала только одно значение из таблицы списка, например, здесь n1 - 3, n2 - 3, n3 - 4, у нас n1=n2, это не проблема, чтоя хочу это n1.index(list loads) != n2.index !=n3.index

Model model = new Model("exemple");

int[] loads = new int[]{4, 3, 3};
IntVar n1 = model.intVar("n1", loads);
IntVar n2 = model.intVar("n2", loads);
IntVar n3 = model.intVar("n3", loads);  
//Contsraints :
model.allDifferent(n1,n2,n3).post();