The formulation was implemented using Gurobi's [1]} Python API. We chose Gurobi, because it is among the most powerful solvers [2]}, is free for academic use and has many accessible APIs. We chose the Python API because of its simplicity and ease of use. The source code is available at [3]}.
