Does anyone know whether CHOCO supports the following:
Dynamic Variable Ordering
and
Precedence Constraints ?
Does anyone know whether CHOCO supports the following: Dynamic Variable Ordering and Precedence Constraints
Share
Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.
Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
Please briefly explain why you feel this question should be reported.
Please briefly explain why you feel this answer should be reported.
Please briefly explain why you feel this user should be reported.
Does anyone know whether CHOCO supports the following:
Dynamic Variable Ordering
and
Precedence Constraints ?
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