def installed_solvers():
 installed = []
 for (name, solver) in SOLVERS.items():
  if solver.is_installed():
   installed.append(name)
 return installed

def installed_solvers ( ) : installed = [ ] for ( name , solver ) in SOLVERS . items ( ) : if solver . is_installed ( ) : installed . append ( name ) return installed
list the installed solvers .