<div dir="ltr"><div>Hi,</div><div><br></div><div>If I add a knapsack inequality in my model (\sum w_i x_i <= B), does SCIP automatically adds cover inequalities to strengthen my model? Or should I add then manually?</div><div><br></div><div>I saw here (<a href="https://scip.zib.de/doc/html/cons__knapsack_8c.php">https://scip.zib.de/doc/html/cons__knapsack_8c.php</a>) that SCIP have functions for Cover inequalities, but should I manually call these or are they automatically called? I ask this because I believe than in Gurobi the solver automatically adds cover inequalities for the knapsack-like constraints. Also, is there some "easy to follow" documentation on the inequalities already built-in in SCIP? I want to avoid "reinventing the wheel" the maximum I can.</div><div><br></div><div>Thanks,</div><div>Matheus<br></div></div>