<div dir="ltr"><div class="gmail_quote gmail_quote_container"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div>Dear SCIP Development Team,</div><div><br></div><div>First, I would like to express my gratitude for providing such a powerful and freely accessible framework to the scientific community. Your work has significantly advanced research in optimization and related fields.</div><div><br></div><div>I am reaching out regarding an issue I have been struggling with while implementing my model in SCIP. My implementation is based on the bin-packing problem example you provided in C language. However, I am encountering difficulties with one of my pricing constraints.</div><div>Specifically, when I use the following linear constraint:</div><div><br></div><div><font color="#0000ff">SCIPcreateConsBasicLinear(subscip, &cons, "</font><span style="color:rgb(0,0,255)">sum_cap</span><font color="#0000ff">", nvars, vars, vals, capacity, capacity);</font></div><div><br></div><div><div>The problem becomes infeasible. I am unsure how to debug and identify the source of the infeasibility, as I have not found a way to generate detailed diagnostic reports similar to those in GAMS, CLPEX and etc. </div><div>Meanwhile, when I replace the linear constraint with a knapsack inequality as shown below, the instances become feasible but yield incorrect solutions for some cases:</div></div><div><br></div><div><font color="#0000ff">SCIPcreateConsBasicKnapsack(subscip, &cons, "sum_cap", nvars, vars, vals, capacity);</font></div><div><font color="#0000ff"><br></font></div><div><div><font color="#000000">Interestingly, when I set the left-hand side of the linear constraint to zero, the problem becomes feasible again but produces another incorrect feasible solution. Since the problem's objective is maximizing this should not happen.</font></div><div><font color="#000000"><br></font></div><div><font color="#000000">To summarize, I would greatly appreciate your guidance on the following:</font></div><div><font color="#000000"><br></font></div><div><font color="#000000">1.<span style="white-space:pre-wrap">        </span>How can I debug infeasibility in SCIP similar to GAMS to identify the root cause? I want to see the result of summation in the constraint that is infeasible.</font></div><div><font color="#000000">2.<span style="white-space:pre-wrap">       </span>Could this issue be related to numerical precision? For example, I have an instance that is solved correctly with the knapsack constraint but becomes infeasible when replaced with the linear constraint while everything is OK.</font></div><div><font color="#000000">For reference, I have attached the relevant model definitions.</font></div><div><font color="#000000"><br></font></div><div><font color="#000000"><div>Thank you for your time and assistance. I look forward to hearing your advice on how to resolve this issue.</div><div><br></div><div>Best regards,</div><div>Mahdi Mohammadi</div><div>------------------------------------------------</div></font></div><div style=""><font color="#000000">PS:</font></div></div><div style=""><font color="#000000">I sent this email some minutes ago, but back then my email hasn't been aproved by moderater and I've just recieved the email. I'm sorry if it is duplicated.</font></div><div><br></div></div></div></div></div></div></div></div></div></div>
</div></div>