<!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>