Кто-нибудь знает, поддерживает ли CHOCO следующее: Dynamic Variable Ordering и Precedence Constraints ?

Я делаю решатель CSP, который вычисляет все комбинаторные решения конкретной задачи, подобной этой (кратко): // Say we are in a Solver class public void solve() { // find solution... } // This would be in a Problem class...

Проблема, которую я хочу решить, состоит из примерно 800 задач , которые должны быть назначены примерно 120 работникам . Рабочие должны иметь квалификацию для выполнения задачи и иметь только определенное количество часов в неделю. Около 80 %...

Теперь я собираюсь интегрировать Choco и фильтр Bloom. Проблема в том, что я хочу знать, какой файл JAVA в Choco относится к процессу поиска, потому что я хочу сохранять решения каждого узла в фильтре Блума после каждого шага поиска. исходный код...

Я использую Choco Solver и, учитывая массив переменных типа int, мне нужно ограничение, которое проверяет, что хотя бы одна переменная в массиве равна статическому значению... Что-то похожее на IntConstraintFactory#count , но со следующим...

У меня есть проект в Choco Solver, но у меня есть вопрос о внешних эффектах при поиске. У меня есть график планирования с (скажем) BoolVars, организованными по слоям, и длительностью, назначенной слоям, что означает, что некоторые действия...

я использую choco для решения проблемы выделения виртуальной машины, и это то, что я пытаюсь сделать: Предположим, у нас есть 3 массива для свойств нашей физической машины ( PMcpu , PMram , PMbw ) и 3 массива для наших виртуальных машин ( VMcpu...

Я хочу смоделировать следующее ограничение в CHOCO. Любая помощь, пожалуйста //cSelected[i]=1 ==> ∀ j∈{1,…,i-1} xCategory[i]!= xCategory[j] cSelected[i]=0, otherwise это то, что я пытаюсь сделать int[] x = new...

Я хочу использовать шоколад для управления установщиком приложений Windows. Однако мое приложение требует многократной установки с разными параметрами. Интересно, можно ли этого добиться, используя только одну упаковку шоколада. Если да, как будут...

У меня есть IntVar[] orArea = new IntVar[N]; IntVar[] orCount = new IntVar[N]; IntVar[] orRows = new IntVar[N]; IntVar total_trim = model.intVar("trim", 0, 1000); for (int i = 0; i < N; i++) { orRows[i] = model.intVar("or_" + i +...

У меня есть технический вопрос относительно решателя Choco 4 CP. Я хотел бы вызывать метод (давайте назовем его f()) всякий раз, когда некоторые логические переменные в моей модели назначаются или не назначаются во время поиска. Целью f() является...