- FILE* output = fopen("/tmp/universe.log", "w");
- edspWriter::WriteUniverse(Cache, output);
- fclose(output);
- output = fopen("/tmp/request.log", "w");
- edspWriter::WriteRequest(Cache, output);
- fclose(output);
- if (ResolveInternal(BrokenFix) == false)
+ int solver_in, solver_out;
+ if (EDSP::ExecuteSolver(solver.c_str(), &solver_in, &solver_out) == false)