Я хочу смоделировать следующее ограничение в CHOCO.Любая помощь, пожалуйста //cSelected[i]=1 ==>...

Мне нужно решить эту проблему, как показано на рисунке.я попробовал код, приведенный ниже # -*-...

У меня есть конкретная проблема, и я не знаю, как изменить ее на проблему выполнимости или...

У меня есть система, в которой мне нужно рассчитать возможный диапазон значений для каждой...

Я создаю простое решающее приложение.Вы можете проверить код ниже. Теперь я хочу ограничить...

Я думаю, что мне нужна помощь с языком OPL: / Мой код следующий: using CP; int NbMchs = ...; range...

Я хочу получать разные решения каждый раз, когда запускаю minisat для одной и той же проблемы.Я...

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

Я работаю над проектом, в котором мне нужно решить тысячи малых и больших «простых» случаев,...

ECLiPSe CLP имеет встроенный предикат приостановки (+ Goal, + Prio, + CondList), в результате чего...

Я новичок в прологе и хочу сгенерировать матрицу отображения из приведенного ниже кода пролога, как...

Немного необычная проблема решения ограничений, которую я пытаюсь реализовать в MiniZinc: у меня...

Как разработать эффективное планирование заданий с ограничениями ?? Планировщик должен включать...

Как вы делаете суммирование переменных на языке программирования ограничений ECLiPSe (http://www

У меня есть выражение, предположим, a = 1 && (b = 1 || b != 0 ) && (c >= 35 || d...

Допустим, у меня есть несколько абстрактных фигур, каждая из которых имеет ширину и высоту (для...

Это мое выражение арифметического неравенства в прологе: 2*X + 3*Y > 4*Z Я использовал...

Я работаю над прологом и столкнулся с этим сценарием - В моем запросе я передаю что-то вроде этого:...

Я пытаюсь решить конкретную проблему с помощью решателей ограничений прологов, и я застрял: D Более...

Знаете ли вы, есть ли способ изменить некоторые ограничения в уже решенной задаче оптимизации...

Я ищу полный решатель CSP, то есть он всегда найдет решение, если оно существует, и сообщит вам,...

Я пытаюсь решить судоку как проблему удовлетворения ограничений для домашнего задания.Я уже...

У меня есть проблема, которую я выразил как минимизация выпуклой квадратичной программы с линейными...

Я и друг пишем программу, которая должна решить проблему CLP. Мы хотим использовать метод...

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