Возможности CHOCO Constraint Solver

Что касается ограничения приоритета, я надеюсь, что вы сможете найти что-то, что соответствует вашим потребностям: Choco.precedence(TaskVariable, TaskVariable) Choco.precedence(TaskVariable, TaskVariable, int)

Оба метода возвращают ограничение, которое можно добавить в модель. К сожалению, кажется, что это ограничение еще не задокументировано, поэтому я не могу быть более конкретным.

По-видимому, существуют и другие ограничения, связанные с приоритетом: Choco.precedenceReified, Choco.precedenceimplied, Choco.precedencedisjoint.

Для получения дополнительной информации я бы посоветовал загрузить последнюю версию API: http://www.emn.fr/z-info/choco-solver/choco-documentation.html

Надеюсь, это может помочь, пока