constraint-programming

1зной

1ответ

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

14зной

1ответ

Может ли кто-нибудь предложить хорошую библиотеку ограничений для Haskell?

Я начал изучать Constraint programming, и я чувствую, что это будет хорошо работать с Haskell (также мне нравится использовать Haskell). Есть ли какие-либо зрелые рамки ограничений для Haskell?

16зной

4ответ

Является ли Erlang языком ограничений-логики?

Поскольку Erlang основан на Prolog, означает ли это, что Erlang является языком ограничений языка? ли Erlang Пролога строительные блоки: факты, правила и запрос

5зной

1ответ

Как проверить ограничения между элементами в списке/- это Программирование ограничений?

У меня есть много списков переменных размеров, содержащие экземпляры одного и того же класса с атрибутом обув, и для каждого списка я должен применять правила, как: если есть элемент Foo = A не может

0зной

1ответ

Нужна помощь при решении проблемы ограничения (2-й)

Я решил следующую задачу обработки ограничений. Не могли бы вы проверить, правильно ли это? One of the prisoners of a high-level security prison sees a way to escape. Almost free, he reaches a corrid

8зной

2ответ

Я ищу алгоритм планирования рассылки радиоприемника/пример/опыт

Пробовал немного исследовать следующее, не повезло. Думал, что я попрошу здесь, если кто-то встретит это раньше. Я помогаю волонтерской радиостанции с их технологическими потребностями. Одна из главны

2зной

2ответ

Java использовал кучу против выделенного размера объекта

У меня есть один, наверное, немой вопрос. В настоящее время я тестирую CSP solvers choco и jacop. Когда я запускаю профилирование приложения (раскраска графа, около 3000 узлов), я не полностью понимаю

5зной

2ответ

Ищете практические примеры использования SMT Z3 (например, DbC) и альтернативу Z3 с открытым исходным кодом?

Меня заинтересовали и искали практические примеры использования SMT Z3 (например, DbC) с использованием кода и альтернатив с открытым исходным кодом для этого инструмента. Таким образом, на самом деле