<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>Dear Juan,<br>
<br>
Yes, SCIP does implement such a functionality. <br>
<br>
You can simply write the cut to a constraint (using e.g.
SCIPcreateConsLinear() or analogous calls for other constraint
handlers).<br>
In your call to SCIPcreateConsLinear, you can set the 'enforce',
'initial' and 'check' flags to FALSE and the 'removable' and
'dynamic' flags to TRUE. The first three options ensure that your
constraint is not in the initial LP and that it is not enforced or
checked for feasibility. The last two options ensure that SCIP is
free to remove your additional constraints. You may want to
experiment with these last two options to find what works best for
your use case. In case you have further questions, I recommend to
read the documentation of SCIPcreateConsLinear().<br>
<br>
Best,<br>
<br>
Rolf van der Hulst<br>
</p>
<div class="moz-cite-prefix">On 20-07-2023 14:17, Lastra Diaz Jose
wrote:<br>
</div>
<blockquote type="cite" cite="mid:DB6PR0802MB252023D3DE7565982BEE0C8AE53EA@DB6PR0802MB2520.eurprd08.prod.outlook.com">
<meta name="Generator" content="Microsoft Word 15 (filtered
medium)">
<!--[if !mso]><style>v\:* {behavior:url(#default#VML);}
o\:* {behavior:url(#default#VML);}
w\:* {behavior:url(#default#VML);}
.shape {behavior:url(#default#VML);}
</style><![endif]-->
<style>@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}span.EstiloCorreo17
{mso-style-type:personal-compose;
font-family:"Arial",sans-serif;
color:windowtext;
font-weight:normal;
font-style:normal;}.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}div.WordSection1
{page:WordSection1;}</style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
<div class="WordSection1">
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif" lang="ES">Dear all,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif" lang="ES"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif">I
wonder if SCIP implements valid user cuts. They are valid
inequalities which the user inserts into the model before
solving it, and the solver decides when and how use them to
cut off LP solutions.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif">Regards,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif">Juan<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;mso-fareast-language:EN-GB"><o:p> </o:p></span></p>
<table class="MsoNormalTable" style="width:16.0cm;border-collapse:collapse" width="0" cellspacing="0" cellpadding="0" border="0">
<tbody>
<tr style="height:78.5pt">
<td style="width:7.0cm;padding:0cm 5.4pt 0cm
5.4pt;height:78.5pt" width="265" valign="top">
<p class="MsoNormal" style="line-height:200%"><span style="font-size:12.0pt;line-height:200%;mso-fareast-language:EN-GB"><img style="width:2.575in;height:.8583in" id="Imagen_x0020_1" src="cid:part1.CJDqQYVC.h06IGGXx@utwente.nl" alt="cid:image001.png@01D4B3E6.540B6570" class="" width="247" height="82"></span><span style="font-size:12.0pt;line-height:200%;mso-fareast-language:EN-GB" lang="FR"><o:p></o:p></span></p>
</td>
<td style="width:9.0cm;padding:0cm 5.4pt 0cm
5.4pt;height:78.5pt" width="340" valign="top">
<p class="MsoNormal"><b><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black;mso-fareast-language:EN-GB" lang="FR">Juan J. Lastra Díaz, PhD</span></b><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black;mso-fareast-language:EN-GB" lang="FR"><o:p></o:p></span></p>
<p class="MsoNormal"><b><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:#C00000;mso-fareast-language:EN-GB" lang="FR">Advanced Research department</span></b><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black;mso-fareast-language:EN-GB" lang="FR"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black;mso-fareast-language:EN-GB" lang="FR"> <o:p></o:p></span></p>
<p class="MsoNormal"><b><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:#C00000;mso-fareast-language:EN-GB" lang="FR">t
</span></b><b><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black;mso-fareast-language:EN-GB" lang="FR">:
</span></b><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black;mso-fareast-language:EN-GB" lang="FR">+34 917 88 88 65<o:p></o:p></span></p>
<p class="MsoNormal"><b><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:#C00000;mso-fareast-language:EN-GB" lang="FR">e</span></b><b><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black;mso-fareast-language:EN-GB" lang="FR"> : </span></b><span style="color:black;mso-fareast-language:EN-GB"><a href="mailto:j.lastra@lectra.com" moz-do-not-send="true"><span style="color:blue" lang="ES">j.lastra</span><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:blue" lang="FR">@lectra.com</span></a></span><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black;mso-fareast-language:EN-GB" lang="FR"><o:p></o:p></span></p>
</td>
</tr>
<tr style="height:2.95pt">
<td style="width:7.0cm;padding:0cm 5.4pt 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/" originalsrc="https://www.linkedin.com/company/8538/" shash="D1gE0+kD50RMSBMGcLww7ANsTCb4pkGFqcXPFElsnUK3da4+mhhx4eBm5y3jq5+wAnJeXblH2GDunS7yS1oWUhsi9bYpTu6UKGOITeq18CG1CXeqX3q/n6hULeVScN9FSYMWLXY4IigCK6Y9WLs36MZF9QtoNXQQGegYHgQ44Ig=" moz-do-not-send="true"><span style="font-size:12.0pt;color:black;mso-fareast-language:EN-GB;text-decoration:none" lang="EN-GB"><img style="width:.4in;height:.4in" id="Imagen_x0020_2" src="cid:part2.6XLt0bn5.FQuLU9Qf@utwente.nl" alt="cid:image002.png@01D4B3E6.540B6570" class="" width="38" height="38" border="0"></span></a><a href="https://www.facebook.com/LectraOfficial/" originalsrc="https://www.facebook.com/LectraOfficial/" shash="Wz1oYVa5hRkkQXh02+dTi/7/0+Usm3+uVw+id8yuCucLyNJ5cpdeh6/bXJGcLmtUZ+YnIlDIPzoZ7frxqzVWc5lpc/YyTXNxuBMPK7cG0CWTHC0Uisf67YDIS0+Eqq5BXbX87mtmvWHS+OXeLaI5Xtpf2Xe3Y+NE6ZiO2TEEI9E=" mo!
z-do-not-send="true"><span style="font-size:12.0pt;color:black;mso-fareast-language:EN-GB;text-decoration:none" lang="EN-GB"><img style="width:.4in;height:.4in" id="Imagen_x0020_3" src="cid:part3.QXeih0U6.MBZzH3ah@utwente.nl" alt="cid:image003.png@01D4B3E6.540B6570" class="" width="38" height="38" border="0"></span></a><a href="https://www.instagram.com/lectraofficial/" originalsrc="https://www.instagram.com/lectraofficial/" shash="Coxh9Htx0kI+kSJOcXmPp6q6FLNWTrnwXa4y0JWlYqvbiwizRPk3BT0PpdPK1UMbeTyf88hDd9fIvfYp1WB6WMMA+kdzzMCVbrIreOk5PNmjTpRZBit3dxgNUlCDQYfTJUOSKhDTCWfKv/Oy8tBFZQB/Qe6x05Ym+O8qzgQJxyA=" moz-do-not-send="true"><span style="font-size:12.0pt;color:black;mso-fareast-language:EN-GB;text-decoration:none" lang="EN-GB"><img style="width:.4in;height:.4in" id="Imagen_x0020_4" src="cid:part4.dZ5MQ6Sw.tAa3KlT0@utwente.nl" alt="cid:image004.png@01D4B3E6.540B6570" class="" width="38" height="38" border="0"></span></a><a href="https://www.youtube.com/user/LectraTechChannel!
?hl=fr" originalsrc="https://www.youtube.com/user/LectraTechChannel?hl=fr" shash="FkzyrorFizm2MG8+BpirVnSFD4p/J7LXO4YVVN2wICuoJsmVLRQHXR5gb+NERJmBrjMIyeccATDG417K+e8yp6+rcpQTG27mg7S+w6xQnkJoY7qwGm0oNNAi4jWCK9PHNg5kggzpEyaZFgGgUjUFAObtew9CozDeI4UyoV8q9lM=" moz-do-not-send="true"><span style="font-size:12.0pt;color:black;mso-fareast-language:EN-GB;text-decoration:none" lang="EN-GB"><img style="width:.4in;height:.4in" id="Imagen_x0020_5" src="cid:part5.qUUmiUXh.xnpA4zBD@utwente.nl" alt="cid:image005.png@01D4B3E6.540B6570" class="" width="38" height="38" border="0"></span></a><a href="https://blog.lectra.com/" originalsrc="https://blog.lectra.com/" shash="yZCzGkbwWAzYSiS4lZItYr9o+gUXGhiT/UIsp6+5XiUWwvN2K2WSGyrlKdT8T5iAuiSqmwSmcJfXown1re6COAF4bjcCX6zE8hAzf2d+AJXHqKF6bMHfuq5fR56SvxkIwWvKsvoXujTR8bPDMlfp29lBNLkmeU+yIeo5QpG2aK4=" moz-do-not-send="true"><span style="font-size:12.0pt;color:black;mso-fareast-language:EN-GB;text-decoration:none" lang="EN-GB"><img style="width:.4in;heig!
ht:.4in" id="Imagen_x0020_6" src="cid:part6.2IyxcOyw.HBNzsDfG@utwente.n!
l" alt="cid:image006.png@01D4B3E6.540B6570" class="" width="38" height="38" border="0"></span></a></span><span style="font-size:12.0pt;mso-fareast-language:EN-GB" lang="FR"><o:p></o:p></span></p>
</td>
<td style="width:9.0cm;padding:0cm 5.4pt 0cm
5.4pt;height:2.95pt" width="340" valign="top">
<p class="MsoNormal"><span style="font-size:8.0pt;font-family:"Arial",sans-serif;color:black;mso-fareast-language:EN-GB" lang="FR">C/ Vía de los Poblados, 1 - Edif. C, 1ª
Plta.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:8.0pt;font-family:"Arial",sans-serif;color:black;mso-fareast-language:EN-GB" lang="FR">P.E. Alvento - 28033 Madrid - España<o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-GB"><a href="http://www.lectra.com/" originalsrc="http://www.lectra.com/" shash="UVUb376AEzxZBVbQus32CDqkFE/AmCfT/4IcnnKu8lM3+UEjDo6PmCKiHpP0QzhESO6BUfyZQGBPtFYHRuUsJ2v6PW+A11/EFjIIRkOdSz4to6yRYVQrP6mIx2PZZTn5WEHWrx1by8PLJX+ifbysBCDYW36jCE8yYKgSAsZn+jk=" moz-do-not-send="true"><b><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black" lang="FR">lectra.com</span></b></a></span><span style="font-size:12.0pt;mso-fareast-language:EN-GB" lang="FR"><o:p></o:p></span></p>
</td>
</tr>
</tbody>
</table>
<p class="MsoNormal"><span lang="FR"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:8.0pt;font-family:"Arial",sans-serif;mso-fareast-language:FR" 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:8.0pt;font-family:"Arial",sans-serif;mso-fareast-language:FR" lang="FR">Thank you for your comprehension.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:8.0pt;font-family:"Arial",sans-serif;mso-fareast-language:FR" lang="FR"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:8.0pt;font-family:"Arial",sans-serif;mso-fareast-language:EN-GB" 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:8.0pt;font-family:"Arial",sans-serif" lang="ES"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="ES"><o:p> </o:p></span></p>
</div>
<br>
<fieldset class="moz-mime-attachment-header"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
Scip mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Scip@zib.de">Scip@zib.de</a>
<a class="moz-txt-link-freetext" href="https://listserv.zib.de/mailman/listinfo/scip">https://listserv.zib.de/mailman/listinfo/scip</a>
</pre>
</blockquote>
</body>
</html>