Ignore plugins with names "core", "wolf" and ""

src/problem/problem.cpp

@@ -107,6 +107,7 @@ ProblemPtr Problem::autoSetup(ParamsServer &_server)
       plugins_path="/usr/local/lib/iri-algorithms/";
     }
     for (auto plugin_name : _server.getParam<std::vector<std::string>>("plugins")) {
+      if (plugin_name == "core" or plugin_name == "wolf" or plugin_name == "") continue; // ignore plugin "core"
       std::string plugin = plugins_path + "libwolf" + plugin_name + lib_extension;
       WOLF_TRACE("Loading plugin " + plugin);
       auto l = new LoaderRaw(plugin);