Я совершенно новичок в Choco и CP, но я делаю небольшую модель для решения проблемы дерева Штейнера, и Choco продолжает заставлять первый узел быть истинным, каким бы ни был график (и это неправильно, я проверил). У меня есть массив es из IntVar,...

Для массива переменных, например IntVar[][] array = VF.boolMatrix("example", 5, 10, solver); в чем разница между solver.post(ICF.arithm(array[i][j], "=", 0)); а также array[i][j] = VariableFactory.fixed(0, solver); Является...

У меня есть следующий массив S из IntVar[] : IntVar[] S = model.intVarArray("Flights Schedule", 18, 0, 19); У меня также есть следующие ArrayList из Integer , называемые fromHome : ArrayList<Integer> fromHome = [1, 2, 4];...

Я использую решатель choco для решения моей проблемы с ограничениями. Возможно ли в Choco увеличить IntVar после условия, такого как model.ifThen?

В настоящее время я пробую Choco Solver (4.0.8) и пытаюсь решить следующие уравнения: Максимально увеличить с учетом Я застрял на максимизации первого уравнения. Думаю, мне просто нужна подсказка, какой подтип должен быть у Variable...

В некоторых случаях решатель не может найти решение для моей модели, которое, я думаю, есть. Поэтому я хотел бы заполнить решение, а затем проверить, какое ограничение нарушено. Как это сделать с помощью choco-solver? Использование choco-solver...