Я использую SCIP C Api. Я запускаю решатель в отдельном потоке и хочу прерывать его по требованию (т.е. после некоторого действия пользователя). Если я запускаю солвер с SCIPsolve, тогда я могу прервать его с SCIPinterruptSolve. Однако это не работает с параллельным решателем, запущенным SCIPsolveConcurrent. Как это сделать?
В однопоточном режиме (SCIPsolve) я также могу использовать обработчики событий для запроса первичных и двойных границ и текущего наилучшего решения. Он не работает в многопоточном режиме (SCIPsolveConcurrent). У кого-нибудь есть опыт работы с многопоточным режимом в SCIP?