constraint-programming

0зной

1ответ

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

0зной

2ответ

Максимальное количество назначенных переменных в удовлетворении ограничений

Каковы некоторые известные алгоритмы (или ресурсы для поиска алгоритмов), чтобы найти назначение, которое максимизирует число назначенных переменных в задаче ограничения ограничений (в случае отсутств

2зной

1ответ

Как я могу назначить (утверждать) значения для функций в Z3py?

Я хотел бы просить, как мне преобразовать следующие ограничения Z3 в Z3py (API Python). (declare-datatypes() ((S a b c d e f g))) (declare-fun fun1 (S) Bool) (declare-fun fun2 (S S) Bool

0зной

1ответ

Как я могу иметь более 255 аргументов в функции Z3py?

Я хотел бы любезно спросить, как иметь более 255 аргументов в функции Z3 Python h1, h2 = Consts('h1 h2', S) def fun(h1 , h2): return Or( And(h1 == cl_4712, h2 == me_1935), And(h1 == cl_18

-2зной

1ответ

ява JaCoP Ограничения Программирование

Пожалуйста, кто-нибудь помочь мне с этой ошибки Спасибо, я Использование JaCoP библиотеки, эпидермальный транспортная проблема, и мне нужно найти OptimalSearch это ограничения программирования Excepti

3зной

1ответ

ограничение программирование сетка сети

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

2зной

1ответ

Параметр, который зависит от решения в MSF

В Microsoft Solver Foundation я хотел бы узнать, можно ли добавить параметр, значение которого зависит от значения решения. I.e. Я хочу что-то сделать для модели TSP, но она также должна учитывать тра

16зной

4ответ

Назначения Алгоритм планирования (N люди с N свободно заняты слотами, ограничение неудовлетворение)

Постановка задачи У нас есть один работодатель, который хочет взять интервью у N человека, и, следовательно, делает N слотов интервью. У каждого человека есть график свободных занятий для этих слотов.