文章/答案/技术大牛

发布

问CHOCO约束解算器功能
EN

Stack Overflow用户

提问于 2011-07-09 23:03:42

回答 1查看 660关注 0票数 1

有没有人知道CHOCO是否支持以下功能：

Dynamic Variable Ordering

和

Precedence Constraints ?

回答已采纳

发布于 2011-10-20 02:41:18

关于优先级约束，我希望你能找到适合你需要的东西: 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

希望能有所帮助，再见

票数 0

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/6635530

复制

相似问题

问CHOCO约束解算器功能EN