CHOCO Constraint Solver功能

时间:2011-07-09 15:03:42

标签: constraints constraint-programming choco

有谁知道CHOCO是否支持以下内容:

Dynamic Variable Ordering

Precedence Constraints ?

1 个答案:

答案 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

希望它可以提供帮助, 再见