Comment by ViscountPenguin

Back in uni, we had to design a MIP program to solve flow, it was a nice and fun problem.

Turns out you can save a lot of time and effort by just cutting infeasible solutions out one by one, and resuming the solver, as opposed to writing some tricky constraints.