DrStriky

Results 1 issues of DrStriky

It happens that parts of the solution log are stuck in the buffer. This should flush the buffer before the solve function returns.