Lines Matching full:solver_log
226 if (!options.solver_log.empty()) {227 file_logging_callback.reset(new FileLoggingCallback(options.solver_log));286 if (!options.solver_log.empty()) {287 file_logging_callback.reset(new FileLoggingCallback(options.solver_log));