Есть ли способ экспортировать или инструкции CP-SAT log_search_progress в C#? ⇐ C#

[Anonymous]

У меня есть проблема с работой, которую я решаю с CP SAT Solver. Я работаю в C# и хотел бы экспортировать файл журнала в TXT, но я не нашел способ, как это сделать. < /P>
// Solve
CpSolver solver = new();

List tasksToProcess = taskWithSchedules;

decimal timePerTask = _settingsCapacityPlan.AllowedSolverTimePerTaskInSeconds;

decimal solverLimit = timePerTask * tasksToProcess.Count;
//solver needs at least 3 seconds even with the smallest sets
int solverLimitInt = Math.Max((int)Math.Round(solverLimit, 1), 3);

List solverParameters = new()
{
string.Format("max_time_in_seconds: {0}.0", solverLimitInt),
"log_search_progress:true",
//"relative_gap_limit: 0.1"
};

solver.StringParameters = string.Join(",", solverParameters);
_log.Info($"Solver started");

//model.ExportToFile($"model_file_{solveIteration}.txt");

CpSolverStatus status = solver.Solve(model);
< /code>
Я пытался использовать < /p>
string log;
solver.SetLogCallback((x) => log = x);
< /code>
отладчик передал эту часть кода без ошибки, однако строка журнала всегда была пустой. Я ожидал, что он содержит журналы из log_search_progress. < /P>
Я вижу, что в Python это довольно просто.solver = cp_model.CpSolver()
solver.parameters.log_search_progress = True

# Custom log function, for example, using the Python logging module instead of stdout
# Useful in a Jupyter notebook, where logging to stdout might not be visible
solver.log_callback = print # (str)->None
# If using a custom log function, you can disable logging to stdout
solver.parameters.log_to_stdout = False
< /code>
Может ли кто -нибудь дать мне некоторое представление о том, как решить это? Эта функция даже поддерживается в пакете C#?

Подробнее здесь: https://stackoverflow.com/questions/793 ... gress-in-c