Does the MidVal value selector work on variables of type cp:bound?
I think it causes the search to indefinitely try the same value (if the value causes failure). Am I correct?
Yes you are correct. You can't make "a hole" in the domain of a bound variable so if the choice fails and it was in the middle, you have learnt nothing and you will try again.
You have to branch on the bounds of Bound variable or to proceed by dichotomy by posting constraints.
We need to make sure this is clear in the documentation and give an example of branching by posting constraints.
Log in to post a comment.
Sign up for the SourceForge newsletter:
You seem to have CSS turned off.
Please don't fill out this field.