Revision history [back]

The best answer was given by Thierry, but there is another 'trick': all solvers have a different way to be verbose about their computations, so you can see what MILP solver is used by calling that:

sage: graphs.PetersenGraph().chromatic_number(algorithm="MILP",verbose=2)

Nathann