Jan Krause

Hi Jaromil, okay, that makes sense. Thanks! Best regards,Jan

Hi Jaromil, again thanks for your explanations. Now, we've manually counted the number of cuts that were added via user callback and that satisfy the latest solution with equality but strangely fou...

Hi Jaromil, thx for your clarification. How could one interprete this - are the other of the 4333 user cuts, that are not displayed in the log at the end, definitely dominated by some other constra...