I am working on solving a MILP problem using SCIP. The problems alloes movement on a 2D grid at max one horizontally / vertically or diagonally per time unit. I have encoded this as follows.
model.addCons(x - x_previous <= 1)
model.addCons(y - y_previous <= 1)
Now say a few squares have a really thin wall between them so far example you cannot move from (2, 0) to (2, 1).
I am struggling with coming up with a good way to encode this into the problem. Any ideas?