I was wondering if there's any way to check constraint values (not formulation) based on the objective solution.
if (X46=1), T4+t46+s4 <= T6 (a typical time precedence constraint for a vehicle routing problem)
which is implemented as
T4 - T6 <= (1-X46)M - (t46+s4).
My current optimum solution says X46 = 1, but T4 = 16, and T6 =12, which is weird.
I check my "exported model", I cannot really find any mistakes.
Is there anyway I can check current value of left side and right side of the constraint?
3 < 4 (based on current value)
Thanks in advance,