Tighter formulation for transfers
In order to make the transfer constraints tight, there should be a constraint that tries to ensure that only rightward transfer or leftward transfer can exist each time step. This is difficult (or impossible?) without binary variables, but a constraint could be added for ensuring that rightward transfer + leftward transfer does not exceed the capacity of the link.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information