Changed solver_factory::solver_names() into static function