Source code used in the following work
J. Yu and S. M. LaValle. Optimal Multi-Robot Path Planning on Graphs: Complete Algorithms and Effective Heuristics. IEEE Transactions on Robotics, 32(5), page(s): 1163 - 1177, 2016.
Gurobi (6.5+): http://www.gurobi.com/