Revision history [back]

By default Sage choses what it considers fastest among installed solvers, hence in your case gurobi should have been selected by default. You can check by typing:

sage: default_mip_solver()

and see the result. You can also use this function to reset the default solver (this can be useful e.g. for benchmarking):

sage: default_mip_solver("GUROBI")

or

sage: default_mip_solver("GLPK")

The doc can be found here.