I'm trying to create this constraint (choco and arithmetic mixed) :
ICF.eucl_div(myIntVar[i+1]-1, 3, (int)(myIntVar[i]-1)/3)));
I've seen that I have to use views to code it like :
VF.offset(myIntVar[i + 1], -1),
VF.scale(VF.offset(myIntVar[i], -1), 1/3)
What is the rules of the scale view about number rounding?
This is related to choco3, please post on github instead.
Sign up for the SourceForge newsletter:
You seem to have CSS turned off.
Please don't fill out this field.