I have a MIP model that was already solved to some extent with a time limit, and now I want to get exactly one more solution.
One way to produce one additional solution is to keep doing this from the beginning by incrementing model.Params.SolutionLimit one by one.
But in my situation I don't know how many solutions were produced up until now, so how I can I set a reasonable Params.SolutionLimit that is exactly one higher than the number of solutions until now?
model.SolCount does not help since that is capped by a certain limit (defaulting to 10)