Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.
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.