有谁知道CHOCO是否支持以下内容:
Dynamic Variable Ordering
和
Precedence Constraints ?
答案 0 :(得分: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
希望它可以提供帮助, 再见