https://github.com/Torvaney/flow-solver
Although I used a much lazier strategy for doing the solving (reduction to SAT).