<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /></head><body style='font-size: 10pt; font-family: Verdana,Geneva,sans-serif'>
<p>Dear SCIP,</p>
<p>Currently we are working on a problem for which a fractional solution can be transformed into an integer one in some situations, i.e. theoretically we can assure that the value of the objective function for some fractional solutions could be taken into account as a feasible integer solution.</p>
<p>When we are in the branching and that situation is identified, we would like to save the solution (even it is fractional) and the bound it gives to us. We have solved the problem, but today we changed the code to another computer (the second one with SCIP 6.0.1) and an assertion has appeared. </p>
<p><strong>src/scip/cons_integral.c:209: consCheckIntegral: Assertion `SCIPisFeasIntegral(scip, solval)' failed.</strong></p>
<p>Our way to take into account some fractional solutions is using</p>
<p><span>SCIP_CALL(SCIPtryCurrentSol(scip,NULL,FALSE,FALSE,FALSE,FALSE,&success));</span></p>
<p><span>in the BRANCEXECLP callback. We thought that checkintegrality=FALSE would be enough.</span></p>
<p><span>Any idea about what is going on?</span></p>
<p><span>Best.</span></p>
<p><span>Diego.</span></p>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html>
<meta http-equiv="Content-Type" content="text/html charset=UTF-8" />
<style>
@import url('https://fonts.googleapis.com/css?family=Roboto:400,700');
</style>
<body>
<table style="font-family:Roboto; border-top: solid 1px #ddd; padding-top: 15px;">
<tr>
<td width="360" valign="top">
<img src="https://sic.us.es/sites/default/files/servicios/correo/Archivos/us_logo.jpg"/>
</td>
</tr>
</table>
<table style="font-family:Roboto; width: 360px; background-color: #f3f3f3; margin-top: 15px; padding: 3px 3px 5px 3px; border-spacing: 5px; text-align: center;">
<tr>
<td width="215" valign="top">
<a href="http://www.us.es/" target="_blank" style="margin: 0 auto; text-decoration: none; font-size: 16px;">
<span style="color: #000; text-decoration: underline;">www.us.es</span>
</a>
</td>
</tr>
</table>
<table style="font-family:Roboto; width: 360px; font-size: 9px; padding-top: 20px; border-spacing: 5px;">
<tr>
<td width="215" valign="top">
<span style="color: #339966;">Por favor considere el medio ambiente antes de imprimir este correo electrónico. </span>
<br>-<br>
<span style="color: #999999;">Este correo electrónico y, en su caso, cualquier fichero anexo al mismo, contiene información de carácter confidencial exclusivamente dirigida a su destinatario o destinatarios. Si no es Vd. el destinatario del mensaje, le ruego lo destruya sin hacer copia digital o física, comunicando al emisor por esta misma vía la recepción del presente mensaje. Gracias</span>
</td>
</tr>
</table>
</body>
</html>
</body></html>