<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div class="elementToProof" style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;">
Hi Mark, </div>
<div style="background-color: rgb(255, 255, 255); margin: 0px;"></div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;">
<br>
</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;">
I’m truly excited to hear that the feature for calculating IIS will be available soon!<br>
I totally understand there may be some performance challenges initially, but it's still a significant step forward. I hardly find any open-source solver with the feature of calculating IIS, and your efforts in making it available are truly appreciated.<br>
<br>
</div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;">
Thank you, <br>
<br>
Sincerely,<br>
Leslie</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div id="appendonsend"></div>
<hr style="display: inline-block; width: 98%;">
<div id="divRplyFwdMsg" dir="ltr"><span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);"><b>发件人:</b> xu liwei <leweeXu@outlook.com><br>
<b>发送时间:</b> 2024年11月5日 14:35<br>
<b>收件人:</b> Mark Turner <turner@zib.de><br>
<b>主题:</b> Re: [SCIP] Methods to calculate IIS in SCIP</span>
<div> </div>
</div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Hi Mark, </div>
<div id="x_appendonsend"></div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
I’m truly excited to hear that the feature for calculating IIS will be available soon!<br>
I totally understand there may be some performance challenges initially, but it's still a significant step forward. I hardly find any open-source solver with the feature of calculating IIS, and your efforts in making it available are truly appreciated.<br>
<br>
</div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Thank you, <br>
<br>
Sincerely,<br>
Leslie<br>
<br>
</div>
<hr style="direction: ltr; display: inline-block; width: 98%;">
<div id="x_divRplyFwdMsg" dir="ltr" class="x_elementToProof"><span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);"><b>发件人:</b> Mark Turner <turner@zib.de><br>
</span></div>
<div style="direction: ltr; font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
<b>发送时间:</b> 2024年11月4日 18:36<br>
<b>收件人:</b> xu liwei <leweeXu@outlook.com>; scip@zib.de <scip@zib.de><br>
<b>主题:</b> Re: [SCIP] Methods to calculate IIS in SCIP</div>
<div style="direction: ltr;"> </div>
<p style="direction: ltr; margin-top: 0px; margin-bottom: 0px;">Hi Leslie,</p>
<p style="direction: ltr; margin-top: 0px; margin-bottom: 0px;"><br>
</p>
<p style="direction: ltr; margin-top: 0px; margin-bottom: 0px;">This is an insanely rewarding email to hear!</p>
<p style="direction: ltr; margin-top: 0px; margin-bottom: 0px;">I am currently working on implementing an IIS plugin for SCIP, so the answer to your question is that there will soon be such functionality! I will be cautiously optimistic and suggest that the
feature exists by the end of this month (let's hope this doesn't age poorly). A note of warning though: It will sadly not be as performant as the algorithms implemented in some of the closed-source solvers. A substantial amount of work needs to be done for
that to happen.<br>
The reality for right now: There is no such functionality, and the answer to the question from 2015 is still up to date. That is, one would either need to write their own algorithm or use the existing MinUC functionality and work around that output.</p>
<p style="direction: ltr; margin-top: 0px; margin-bottom: 0px;"><br>
</p>
<p style="direction: ltr; margin-top: 0px; margin-bottom: 0px;">Hopefully this functionality exists soon, and thanks for the email justifying the need for this!</p>
<p style="direction: ltr; margin-top: 0px; margin-bottom: 0px;"><br>
</p>
<p style="direction: ltr; margin-top: 0px; margin-bottom: 0px;">Cheers and happy optimising,</p>
<p style="direction: ltr; margin-top: 0px; margin-bottom: 0px;">Mark</p>
<p style="direction: ltr; margin-top: 0px; margin-bottom: 0px;"><br>
</p>
<div style="direction: ltr;">On 11/4/24 10:43, xu liwei wrote:</div>
<blockquote>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Hi, </div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
I would like to know if there are any methods for calculating the IIS(Irreducible Infeasible Subset) in SCIP Optimization Suite?</div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
I have looked through the API pages, and i find Conlict Analysis in Methods for managing plugins of Core API. But it seems confusing. I also checked the mail list history, there was a similar question of IIS in 2015, and the answer was None.<br>
<br>
I'm using SCIP solver in my C++ programming. SCIP is very powerful, but i don't find the tools to get IIS to debug my model. Thank you!</div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Leslie</div>
<div style="direction: ltr;"><br>
</div>
<fieldset class="x_x_moz-mime-attachment-header"></fieldset>
<pre><div style="direction: ltr;">_______________________________________________
Scip mailing list
<a href="mailto:Scip@zib.de" id="OWAe817b253-d016-9f88-0ab2-6fc5e273f328" class="x_x_moz-txt-link-abbreviated x_OWAAutoLink">Scip@zib.de</a>
<a href="https://listserv.zib.de/mailman/listinfo/scip" id="OWAdb83adc5-5e03-591f-2b56-df4192193abc" class="x_x_moz-txt-link-freetext x_OWAAutoLink" data-auth="NotApplicable">https://listserv.zib.de/mailman/listinfo/scip</a>
</div></pre>
</blockquote>
</body>
</html>