<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Hi Leslie,</p>
<p><br>
</p>
<p>This is an insanely rewarding email to hear!</p>
<p>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. <br>
</p>
<p><br>
</p>
<p>Hopefully this functionality exists soon, and thanks for the
email justifying the need for this!<br>
</p>
<p><br>
</p>
<p>Cheers and happy optimising,</p>
<p>Mark</p>
<p><br>
</p>
<div class="moz-cite-prefix">On 11/4/24 10:43, xu liwei wrote:<br>
</div>
<blockquote type="cite"
cite="mid:TYCPR01MB73131F5C59A020A160F61D85AF512@TYCPR01MB7313.jpnprd01.prod.outlook.com">
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<style type="text/css" style="display:none;">P {margin-top:0;margin-bottom:0;}</style>
<div class="elementToProof"
style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Hi, </div>
<div class="elementToProof"
style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof"
style="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 class="elementToProof"
style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof"
style="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 class="elementToProof"
style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof"
style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Leslie</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>