Начало работы с программированием Constraint

Поиск советов, учебников, книг и других ресурсов для начала программирования Constraint.

0
Документация OptaPlanner содержит объяснение по алгоритмам локального поиска, таким как Tabu Search, Simulated Отжиг и поздняя приемка, а также другие алгоритмы, такие как Branch and Bound. Он также объясняет, как думать о скоринге (жесткий против мягкого, взвешивающего, положительного и отрицательного, парето и т. Д.),
добавлено автор Geoffrey De Smet, источник

9 ответы

Microsoft's Solver Foundation has some easy-to-understand examples.

0
добавлено

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

0
добавлено
Теперь эта ссылка сейчас сломана. Скоро будет обновлено?
добавлено автор Anderson Green, источник

Возможно, вы можете взглянуть на вводный курс подумал в Саарландском университете о программировании ограничений. Они не используют mozart как dr_pepper , но Gecode . Gecode - это последующий язык mozart, частично реализованный одними и теми же людьми.

0
добавлено
Gecode на самом деле не язык, а C ++. Однако Gecode поддерживает также MiniZinc, который является языком моделирования.
добавлено автор tunnuz, источник
Предыдущий курс завершен и с хорошими слайдами. Для более быстрого результата обзор: посмотрите на пролог (язык defacto): doc.gold.ac.uk/~mas02gw/prolog_tutorial/prologpages/…
добавлено автор tinmarino, источник

В Интернете вы найдете много отличного материала, доступного в Интернете, но ссылки ниже (ИМО) хорошие отправные точки (те, которые я использовал).

Programming with Constraints: An Introduction - (Course website)
Programming with Constraints: An Introduction - (Google book)
Online Guide to Constraint Programming

0
добавлено
Добавлена ​​ссылка, которую я нашел. Надеюсь, все в порядке. Лучше иметь полный правильный ответ.
добавлено автор pek, источник

справочник по программированию ограничений хорошо продуман.

В пустяках мой руководитель с четвертого года университет (который был давно ) упоминается там. :)

0
добавлено

If you're a Java programmer, I recommend using Cream: Class Library for Constraint Programming

0
добавлено

Вот еще одна ссылка на веб-сайт курса на Программирование ограничений .

Раньше курс использовал Mozart/Oz для экспериментов, но теперь он был заменен на Gecode .

0
добавлено
Ваша первая ссылка мертва.
добавлено автор sloth, источник
Обновление для первой ссылки: kth.se/social/course/ID2204
добавлено автор boutta, источник

Правила ограничения ограничений (CHR) - это язык для разработки собственных (проблемных) решателей ограничений. Проверь это:

Там вы найдете ссылки на

  • WebCHR Online Demo (originally developed at LMU Munich, now beautified at Uni Ulm)
  • Several implementations for Prolog (naturally) and Haskell, as well as a (unfortunately unmaintained) prototype for Java (JCK).

Существует также реализация JavaScript CHR: http://chrjs.net ( https://github.com/fnogatz/CHR.js )

0
добавлено
Существует также реализация CHR для JavaScript .
добавлено автор Anderson Green, источник
добавлено автор user2023370, источник
Ссылка обновлена, спасибо!
добавлено автор BenC, источник

I suggest you look further in the following website on constraint programming maintaned by Håkan Kjellerstrand (a.k.a Hakank) at Hakank's Homepage

0
добавлено
Хотя эта ссылка может ответить на вопрос, лучше включить здесь основные части ответа и предоставить ссылку для справки. Ответные ссылки могут стать недействительными, если связанная страница изменится.
добавлено автор T.S., источник
Это Off Topic ...
добавлено автор T.S., источник
Вопрос заключается в запросе ссылок. Мой ссылочный ответ - это ссылка. Посмотрите на все другие ответы. Они похожи на мои, потому что вопрос задает такие ответы, как этот.
добавлено автор decision maker, источник