有谁知道CHOCO是否支持以下内容：
Dynamic Variable Ordering
和
Precedence Constraints ?
问问题
667 次
1 回答
0
关于优先约束，我希望你能找到适合你需要的东西：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
希望能帮到你，拜拜
于 2011-10-19T18:41:17.533 回答