<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" id="owaParaStyle"></style>
</head>
<body fpstyle="1" ocsi="0">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;">I have now upgraded to SCIP 6.0.0 and still have the same problem.
<div><br>
</div>
<div>The solver returns 'infeasible' with the C-API but is feasible with the interactive shell. </div>
<div><br>
</div>
<div>I am literally copying model text from the scip log of the infeasible run into a .cip file and then reading it into the interactive shell, where a feasible solution is found and no changes to the model at all. Now both cases are using SCIP 6.0.0 so it
is not a version issue.
<div><br>
</div>
<div>- Rich <br>
<div style="font-family: Times New Roman; color: #000000; font-size: 16px">
<hr tabindex="-1">
<div id="divRpF556209" style="direction: ltr;"><font face="Tahoma" size="2" color="#000000"><b>From:</b> Levinson, Richard J. (ARC-TI)[SGT, INC]<br>
<b>Sent:</b> Tuesday, July 10, 2018 3:58 PM<br>
<b>To:</b> Scip@zib.de<br>
<b>Subject:</b> Infeasible with C-API but feasible with Interactive Shell<br>
</font><br>
</div>
<div></div>
<div>
<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">
<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt"><span style="font-size:13.3333px">Hello,</span></div>
<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt"><span style="font-size:13.3333px"><br>
</span></div>
<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt"><span style="font-size:13.3333px">I have a SCIP model generated using the C-API. It returns 'infeasible' when I call solve() programmatically, but if I copy the SCIP "original problem"
output from the SCIP log file of the 'infeasible' run, and copy it directly into a .cip file and read it back in through the interactive shell, then it is 'feasible'. </span>
<div style="font-size:13.3333px"><br>
</div>
<div style="font-size:13.3333px">The C-API is being linked against SCIP 4.0 but the model is feasible in the SCIP 4.0 interactive shell (as well as the SCIP 6.0 interactive shell). </div>
<div style="font-size:13.3333px"><br>
</div>
<div style="font-size:13.3333px">
<div style="font-size:13.3333px">Any suggestions about how to diagnose and resolve this discrepancy? I need to be able to generate the model and solve via C-API. Is there a good way to figure out why it's being marked infeasible via the C-API?</div>
</div>
<div style="font-size:13.3333px"><br>
</div>
<div style="font-size:13.3333px">Thank you,</div>
<div style="font-size:13.3333px"><br>
</div>
<div style="font-size:13.3333px"> Rich Levinson</div>
<div></div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>