<div dir="ltr">[Resending to the whole list]<div dir="ltr"><br></div>Dear Juan,<div class="gmail_quote"><div>This might be a matter of the priority you set for the constraint handler.</div><div>The integrality constraint handler has a priority of 0 so if you want
your constraint handler to only receive integer solutions, its priority
should be negative.</div><div>This is explained in the TSP example, TSP/src/ConshdlrSubtour.cpp line 108 onwards:</div><div> </div><div><div> * The integrality constraint handler has a check priority of zero. A constraint handler which can<br> * (or wants) to check its constraints only for integral solutions should have a negative check priority<br> * (e.g. the alldiff-constraint can only operate on integral solutions).</div><div><br></div><div>The methods you implemented seem to be the relevant ones.</div><div><br></div><div>Best,</div><div>Mathieu<br></div><div><br></div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Apr 15, 2023 at 11:03 AM Lastra Diaz Jose <<a href="mailto:j.lastra@lectra.com" target="_blank">j.lastra@lectra.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div>
<div lang="EN-GB">
<div>
<p class="MsoNormal"><span style="font-size:10pt;font-family:"Arial",sans-serif" lang="ES">Dear all,<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:10pt;font-family:"Arial",sans-serif" lang="ES"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:10pt;font-family:"Arial",sans-serif">I am implementing a branch-and-Check approach to solve a 0-1 ILP model and I would like to check the feasibility of integer solutions, and insert a feasibility cut to separate
those infeasible solutions. I have implemented a constraint handler based on the TSP example, but I have not understood well what callback I should implement. I have implemented the four separation and enforcement callback below, as done in TSP example, but
when I check the solution in these callbacks, the solution is not binary. Likewise, I do not know how to skip non-integer solutions in the check callback.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:10pt;font-family:"Arial",sans-serif"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:10pt;font-family:"Arial",sans-serif">What should I do to check and separate only infeasible integer solutions?<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:10pt;font-family:"Arial",sans-serif"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;font-family:Consolas;color:black">-
</span><span style="font-size:9.5pt;font-family:Consolas;color:rgb(111,0,138)">SCIP_DECL_CONSSEPALP<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;font-family:Consolas;color:rgb(111,0,138)">- SCIP_DECL_CONSSEPASOL<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;font-family:Consolas;color:rgb(111,0,138)">- SCIP_DECL_CONSENFOLP<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;font-family:Consolas;color:rgb(111,0,138)">- SCIP_DECL_CONSENFOPS<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;font-family:Consolas;color:rgb(111,0,138)">- SCIP_DECL_CONSCHECK</span><span style="font-size:10pt;font-family:"Arial",sans-serif"><u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:10pt;font-family:"Arial",sans-serif"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;font-family:Consolas;color:rgb(43,145,175)">ObjConshdlr</span><span style="font-size:9.5pt;font-family:Consolas;color:black">(</span><span style="font-size:9.5pt;font-family:Consolas;color:gray">scip</span><span style="font-size:9.5pt;font-family:Consolas;color:black">,
</span><span style="font-size:9.5pt;font-family:Consolas;color:rgb(163,21,21)">"overdemand"</span><span style="font-size:9.5pt;font-family:Consolas;color:black">,
</span><span style="font-size:9.5pt;font-family:Consolas;color:rgb(163,21,21)">"Feasibility cuts"</span><span style="font-size:9.5pt;font-family:Consolas;color:black">,<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;font-family:Consolas;color:black"> 1000000, -2000000, -2000000, 1, -1, 1, 0,<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;font-family:Consolas;color:black">
</span><span style="font-size:9.5pt;font-family:Consolas;color:rgb(111,0,138)">FALSE</span><span style="font-size:9.5pt;font-family:Consolas;color:black">,
</span><span style="font-size:9.5pt;font-family:Consolas;color:rgb(111,0,138)">FALSE</span><span style="font-size:9.5pt;font-family:Consolas;color:black">,
</span><span style="font-size:9.5pt;font-family:Consolas;color:rgb(111,0,138)">TRUE</span><span style="font-size:9.5pt;font-family:Consolas;color:black">,
</span><span style="font-size:9.5pt;font-family:Consolas;color:rgb(111,0,138)">SCIP_PROPTIMING_BEFORELP</span><span style="font-size:9.5pt;font-family:Consolas;color:black">,
</span><span style="font-size:9.5pt;font-family:Consolas;color:rgb(111,0,138)">SCIP_PRESOLTIMING_FAST</span><span style="font-size:9.5pt;font-family:Consolas;color:black">)</span><span style="font-size:10pt;font-family:"Arial",sans-serif"><u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:10pt;font-family:"Arial",sans-serif"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:10pt;font-family:"Arial",sans-serif"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:10pt;font-family:"Arial",sans-serif">Thank you very much for your help,<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:10pt;font-family:"Arial",sans-serif">Juan<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:10pt;font-family:"Arial",sans-serif"><u></u> <u></u></span></p>
<table style="width:16cm;border-collapse:collapse" width="0" cellspacing="0" cellpadding="0" border="0">
<tbody>
<tr style="height:78.5pt">
<td style="width:7cm;padding:0cm 5.4pt;height:78.5pt" width="265" valign="top">
<p class="MsoNormal" style="line-height:200%"><span style="font-size:12pt;line-height:200%"><img style="width: 2.575in; height: 0.8583in;" id="m_8720552529364905003m_-361111218511367798Imagen_x0020_1" src="cid:1878443f1674cff311" alt="cid:image001.png@01D4B3E6.540B6570" width="247" height="82"></span><span style="font-size:12pt;line-height:200%" lang="FR"><u></u><u></u></span></p>
</td>
<td style="width:9cm;padding:0cm 5.4pt;height:78.5pt" width="340" valign="top">
<p class="MsoNormal"><b><span style="font-size:10pt;font-family:"Arial",sans-serif;color:black" lang="FR">Juan J. Lastra Díaz, PhD</span></b><span style="font-size:10pt;font-family:"Arial",sans-serif;color:black" lang="FR"><u></u><u></u></span></p>
<p class="MsoNormal"><b><span style="font-size:10pt;font-family:"Arial",sans-serif;color:rgb(192,0,0)" lang="FR">Advanced Research department</span></b><span style="font-size:10pt;font-family:"Arial",sans-serif;color:black" lang="FR"><u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:10pt;font-family:"Arial",sans-serif;color:black" lang="FR"> <u></u><u></u></span></p>
<p class="MsoNormal"><b><span style="font-size:10pt;font-family:"Arial",sans-serif;color:rgb(192,0,0)" lang="FR">t
</span></b><b><span style="font-size:10pt;font-family:"Arial",sans-serif;color:black" lang="FR">:
</span></b><span style="font-size:10pt;font-family:"Arial",sans-serif;color:black" lang="FR">+34 917 88 88 65<u></u><u></u></span></p>
<p class="MsoNormal"><b><span style="font-size:10pt;font-family:"Arial",sans-serif;color:rgb(192,0,0)" lang="FR">e</span></b><b><span style="font-size:10pt;font-family:"Arial",sans-serif;color:black" lang="FR">
: </span></b><span style="color:black"><a href="mailto:j.lastra@lectra.com" target="_blank"><span style="color:blue" lang="ES">j.lastra</span><span style="font-size:10pt;font-family:"Arial",sans-serif;color:blue" lang="FR">@lectra.com</span></a></span><span style="font-size:10pt;font-family:"Arial",sans-serif;color:black" lang="FR"><u></u><u></u></span></p>
</td>
</tr>
<tr style="height:2.95pt">
<td style="width:7cm;padding:0cm 5.4pt;height:2.95pt" width="265" valign="top">
<p class="MsoNormal" style="text-align:center" align="center"><span lang="ES"><a href="https://www.linkedin.com/company/8538/" target="_blank"><span style="font-size:12pt;color:black;text-decoration:none" lang="EN-GB"><img style="width: 0.4in; height: 0.4in;" id="m_8720552529364905003m_-361111218511367798Imagen_x0020_2" src="cid:1878443f1695b16b22" alt="cid:image002.png@01D4B3E6.540B6570" width="38" height="38" border="0"></span></a><a href="https://www.facebook.com/LectraOfficial/" target="_blank"><span style="font-size:12pt;color:black;text-decoration:none" lang="EN-GB"><img style="width: 0.4in; height: 0.4in;" id="m_8720552529364905003m_-361111218511367798Imagen_x0020_3" src="cid:1878443f169692e333" alt="cid:image003.png@01D4B3E6.540B6570" width="38" height="38" border="0"></span></a><a href="https://www.instagram.com/lectraofficial/" target="_blank"><span style="font-size:12pt;color:black;text-decoration:none" lang="EN-GB"><img style="width: 0.4in; height: 0.4in;" id="m_8720552529364905003m_-361111218511367798Imagen_x0020_4" src="cid:1878443f1697745b44" alt="cid:image004.png@01D4B3E6.540B6570" width="38" height="38" border="0"></span></a><a href="https://www.youtube.com/user/LectraTechChannel?hl=fr" target="_blank"><span style="font-size:12pt;color:black;text-decoration:none" lang="EN-GB"><img style="width: 0.4in; height: 0.4in;" id="m_8720552529364905003m_-361111218511367798Imagen_x0020_5" src="cid:1878443f169855d355" alt="cid:image005.png@01D4B3E6.540B6570" width="38" height="38" border="0"></span></a><a href="https://blog.lectra.com/" target="_blank"><span style="font-size:12pt;color:black;text-decoration:none" lang="EN-GB"><img style="width: 0.4in; height: 0.4in;" id="m_8720552529364905003m_-361111218511367798Imagen_x0020_6" src="cid:1878443f1699374b66" alt="cid:image006.png@01D4B3E6.540B6570" width="38" height="38" border="0"></span></a></span><span style="font-size:12pt" lang="FR"><u></u><u></u></span></p>
</td>
<td style="width:9cm;padding:0cm 5.4pt;height:2.95pt" width="340" valign="top">
<p class="MsoNormal"><span style="font-size:8pt;font-family:"Arial",sans-serif;color:black" lang="FR">C/ Vía de los Poblados, 1 - Edif. C, 1ª Plta.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:8pt;font-family:"Arial",sans-serif;color:black" lang="FR">P.E. Alvento - 28033 Madrid - España<u></u><u></u></span></p>
<p class="MsoNormal"><span><a href="http://www.lectra.com/" target="_blank"><b><span style="font-size:10pt;font-family:"Arial",sans-serif;color:black" lang="FR">lectra.com</span></b></a></span><span style="font-size:12pt" lang="FR"><u></u><u></u></span></p>
</td>
</tr>
</tbody>
</table>
<p class="MsoNormal"><span lang="FR"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:8pt;font-family:"Arial",sans-serif" lang="EN-US">This e-mail and any attached files may contain confidential information which is intended exclusively for the recipient. If you are not the
specified recipient, you should delete this e-mail from your system immediately, and inform the sender without delay. Reading, distributing, copying, or any other unauthorized use of this e-mail and its attached files is strictly forbidden.
</span><span style="font-size:8pt;font-family:"Arial",sans-serif" lang="FR">Thank you for your comprehension.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:8pt;font-family:"Arial",sans-serif" lang="FR"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:8pt;font-family:"Arial",sans-serif" lang="ES">Este correo electrónico y cualquier archivo adjunto pueden contener información confidencial que está destinada exclusivamente al destinatario.
Si usted no es el destinatario especificado, debe eliminar este correo electrónico de su sistema inmediatamente e informar al remitente sin demora. Está terminantemente prohibido leer, distribuir, copiar o cualquier otro uso no autorizado de este correo electrónico
y sus archivos adjuntos. Gracias por su comprensión.</span><span style="font-size:8pt;font-family:"Arial",sans-serif" lang="ES"><u></u><u></u></span></p>
<p class="MsoNormal"><span lang="ES"><u></u> <u></u></span></p>
</div>
</div>
_______________________________________________<br>
Scip mailing list<br>
<a href="mailto:Scip@zib.de" target="_blank">Scip@zib.de</a><br>
<a href="https://listserv.zib.de/mailman/listinfo/scip" rel="noreferrer" target="_blank">https://listserv.zib.de/mailman/listinfo/scip</a><br>
</div></blockquote></div><br clear="all"><br><span>-- </span><br><div dir="ltr"><div dir="ltr">Mathieu Besançon</div></div>
</blockquote></div><br clear="all"><br><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature"><div dir="ltr">Mathieu Besançon</div></div></div>