To instance a solver in pyomo, usually a solver factory is used:

from pyomo.opt import SolverFactory
opt = SolverFactory('glpk')

Is there a way to know which strings will SolverFactory accept? A solution would look like:

print(SolverFactory.list_detected_solvers())