Hi,
Working on an optimization probelm formulated as an ILP where I have two decision variables alpha[i,j] and beta[u,v,x,y].
I have three equations combining alpha and beta. For some inputs, I have a special case that is not handled by these equations and I would like to know how to enforce this case when it happens to be considered even though the equations are not satisfied.
Is there a way to explicity integrate it within the solver ?
Thanks for your help.