Результаты поиска по запросу "constraint-programming"

1 ответ

получить подходящую модель в Z3py?

В следующем рабочем примере, Как получить соответствующую модель?

13 ответов

Встроенный интерпретатор пролога / компилятор для Java

1 ответ

Конвертировать логические значения FlatZinc в CNF DIMACS

Чтобы решитьсистема булевых уравненийЯ экспериментирую с

ТОП публикаций

1 ответ

Рекурсия: как избежать изменения набора Python во время итерации RuntimeError

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

2 ответа

Как использовать программирование ограничений для оптимизации корзин покупок?

2 ответа

Мульти-Судоку AI подход

Я концептуализирую решатель для вариантасудоку называетсямульти-судокугде несколько плат перекрываются так:Если я правильно понимаю игру, вы должны решить ка...

1 ответ

получить подходящую модель в Z3py?

В следующем рабочем примере, Как получить соответствующую модель? S, (cl_3,cl_39,cl_11, me_32,m_59,m_81) = EnumSort('S', ['cl_3','cl_39','cl_11','me_32','me_59','me_81']) h1, h2 = Consts('h1 h2', S) def fun(h1 , h2): conds = [ (cl_3, me_32), ...

13 ответов

Встроенный интерпретатор пролога / компилятор для Java

Я работаю над приложением на Java, которое должно делать некоторые сложные логические выводы в рамках своей функциональности. Я хотел бы закодировать мои логические выводы в Prolog или каком-либо другом языке программирования логики / ограничений ...