Ищите подсказки, учебники, книги и другие ресурсы, чтобы начать работу с Программой ограничения.
Начало работы с программированием Constraint
Ответ 1
Как только вы попадете в паз, в Интернете появилось много отличного материала, но ссылки ниже (IMO) - хорошие отправные точки (те, которые я использовал).
Программирование с ограничениями: Введение - (Сайт курса)
Программирование с ограничениями: Введение - (Google book)
Онлайн руководство по программированию ограничений
Ответ 2
Правила обработки ограничений (CHR) - это язык для разработки собственных (специфических для проблем) решателей ограничений. Проверь это:
Там вы найдете ссылки на
- WebCHR Online Demo (первоначально разработанный в LMU Munich, теперь украшенный в Uni Ulm)
- Несколько реализаций для Prolog (естественно) и Haskell, а также (к сожалению, не поддерживаемый) прототип для Java (JCK).
Существует также реализация CHR на JavaScript: http://chrjs.net (https://github.com/fnogatz/CHR.js)
Ответ 3
Может быть, вы можете взглянуть на вводный course, который был рассмотрен в Саарландском университете о программировании ограничений. Они не используют mozart как dr_pepper, но Gecode. Gecode - это последующий язык mozart, частично реализованный теми же людьми.
Ответ 4
Я рекомендую начать работу с mozart. Это язык программирования ограничений с открытым исходным кодом, и на сайте есть много документации, которая поможет вам начать работу.
Ответ 5
Вот еще одна ссылка на веб-сайт курса на Программирование ограничений.
Раньше курс использовал Mozart/Oz для assingments, но теперь он был заменен на Gecode.
Ответ 6
Я предлагаю вам более подробно ознакомиться на следующем веб-сайте по программированию ограничения, содержащемуся Håkan Kjellerstrand (a.k.a Hakank) в Домашняя страница Hakank
Ответ 7
Microsoft Solver Foundation содержит несколько простых примеров.
Ответ 8
справочник по программированию ограничений.
В пустяках, мой руководитель с четвертого года в университете (который был недавно назад) упоминается там.:)
Ответ 9
Если вы программист на Java, я рекомендую использовать Cream: Class Library for Constraint Programming