
<html><body><div style="font-family: Arial; font-size: 10pt; color: #000000"><div data-marker="__QUOTED_TEXT__"><div style="font-family: Arial; font-size: 10pt; color: #000000"><div><div style="font-family: Arial; font-size: 10pt; color: #000000"><div><div style="font-family: Arial; font-size: 10pt; color: #000000"><div>Hello fellow SCIP users,<br></div><br><div>I am facing a problem with using SCIP and hope, that someone can help me with this: </div><br><div>If I plug in my model and solve it, I get the result that it is infeasible. However, if I add a constraint, which fixes a specific binary variable to one, SCIP does find a feasible solution. Why can SCIP not find this solution without this constraint? I could also make SCIP find this solution in the original problem (without fixing the variable), by enforcing branching on this binary variable first.<br></div><br><div>Can someone explain the behavior of SCIP to me? Why does this happen?<br></div><br><div>Best regards,<br></div><div>Jennifer</div></div></div></div></div></div><br></div></div></body></html>