Miltenberger, M., Oberdieck, R., Siefen, K., Aramon, M., & Bowly, S. gurobi-logtools [Computer software]. https://github.com/Gurobi/gurobi-logtools