JaCoP (решатель)

JaCoP — это решатель ограничений для задач удовлетворения ограничений . Он написан на Java и предоставляется в виде библиотеки Java. JaCoP имеет интерфейс к языкам моделирования MiniZinc и AMPL . Основное внимание уделяется простоте использования, мощности моделирования и эффективности. Он имеет большую коллекцию глобальных ограничений, реализованных для облегчения моделирования проблем. JaCoP активно разрабатывается с 2001 года. Кшиштоф Кухчински и Радослав Шиманек являются основными разработчиками этой библиотеки Java. В разработку JaCoP внесли свой вклад несколько человек, помимо основных разработчиков. На разработку JaCoP повлияло более 20 исследовательских статей сообщества Constraint Programming. Он использовался в качестве инструмента в более чем 30 исследовательских статьях. [ необходима цитата ] Приведено много различных примеров, поэтому легче научиться использовать JaCoP. [ необходима цитата ]

Проект JaCoP содержит оболочку для языка программирования Scala , а оболочка для Clojure поддерживается как отдельный проект CloCoP.

Ссылки

  • JaCoP на GitHub


Взято с "https://en.wikipedia.org/w/index.php?title=JaCoP_(решатель)&oldid=1257757653"