CHOCO 约束求解器功能
有谁知道 CHOCO 是否支持以下功能：
Dynamic Variable Ordering
以及
Precedence Constraints ?
Does anyone know whether CHOCO supports the following:
Dynamic Variable Ordering
and
Precedence Constraints ?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
关于优先级约束，我希望您能找到适合您需求的东西：
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
希望它能有所帮助，
再见
Regarding Precedence Constraint, I hope you can find something that suits your needs with :
Choco.precedence(TaskVariable, TaskVariable)
Choco.precedence(TaskVariable, TaskVariable, int)
Both methods return a constraint that you can add to model. Unfortunately it seems that this constraint is not documented yet so I can't be more specific.
There also seem to be other constraints related to precedence : Choco.precedenceReified, Choco.precedenceimplied, Choco.precedencedisjoint.
For more information I would suggest to download the latest API :
http://www.emn.fr/z-info/choco-solver/choco-documentation.html
Hope it can help,
Bye