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