CHOCO が以下をサポートしているかどうかは誰にもわかりません。
Dynamic Variable Ordering
と
Precedence Constraints ?
CHOCO が以下をサポートしているかどうかは誰にもわかりません。
Dynamic Variable Ordering
と
Precedence Constraints ?
Precedence Constraint については、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
それが役立つことを願っています、さようなら