Open
Description
Right now, GLPK is the default solver, if it is available.
With #678, GLPK may no longer be available. Then soplex, if available is the default solver, and otherwise Z3.
Gurobi is never the default due to the license-question making it complicated.
On the other hand, it seems that out of the currently supported solvers, Gurobi is the most reasonable choice if available.
This also relates to #535.