<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <div class="moz-cite-prefix">Iulian,<br>
      <br>
      If you just want to diagnose an infeasible LP or an ILP with an
      infeasible relaxed solution there is an example program iis.cpp in
      trunk/Clp/examples which may do what you want.<br>
      <br>
      John Forrest<br>
      <br>
      On 24/03/18 16:48, Ted Ralphs wrote:<br>
    </div>
    <blockquote type="cite"
cite="mid:CA+GYycu5-pRn433TA_k6rGT4=Z+ncu5wghSbAxrvmcz0A6L+Yw@mail.gmail.com">
      <div dir="ltr">As far as I know, there aren't any open source
        solvers that do this automatically (although I could be wrong),
        but I don't think it would be too involved to code up a method
        for finding an IIS that is wrapped around one of the open source
        solvers.
        <div><br>
        </div>
        <div>Cheers,</div>
        <div><br>
        </div>
        <div>Ted</div>
      </div>
      <div class="gmail_extra"><br>
        <div class="gmail_quote">On Wed, Feb 21, 2018 at 12:08 PM,
          Iulian Ober <span dir="ltr"><<a
              href="mailto:iulian.s.ober@gmail.com" target="_blank"
              moz-do-not-send="true">iulian.s.ober@gmail.com</a>></span>
          wrote:<br>
          <blockquote class="gmail_quote" style="margin:0 0 0
            .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello,<br>
            <br>
            I'm not sure this is the best forum for this question, sorry
            if it's not. We are looking for an open-source ILP solver
            that generates the IIS for infeasible models. A quick search
            on the web didn't reveal anything, it looks like the major
            candidates do not provide this feature (unless we overlooked
            something). Any information about this is much appreciated.<br>
            <br>
            Best regards,<br>
            Iulian Ober<br>
            <br>
            <br>
            <br>
            ______________________________<wbr>_________________<br>
            Coin-discuss mailing list<br>
            <a href="mailto:Coin-discuss@list.coin-or.org"
              moz-do-not-send="true">Coin-discuss@list.coin-or.org</a><br>
            <a
href="https://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_coin-2Ddiscuss&d=DwMFaQ&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=hCdmkcD13RDYQnmalQJvQdcBxjCSg3n5IylUeEjy2sM&s=kYXodHzq2iwAFu359aNTiNu0peOQ58gznQrUp48pUU4&e="
              rel="noreferrer" target="_blank" moz-do-not-send="true">https://list.coin-or.org/<wbr>mailman/listinfo/coin-discuss</a><br>
          </blockquote>
        </div>
        <br>
        <br clear="all">
        <div><br>
        </div>
        -- <br>
        <div class="gmail_signature" data-smartmail="gmail_signature">
          <div dir="ltr">
            <div><span style="font-size:12.8000001907349px">Dr. Ted
                Ralphs</span><br style="font-size:12.8000001907349px">
              <span style="font-size:12.8000001907349px">Professor,
                Lehigh University</span><br
                style="font-size:12.8000001907349px">
              <span style="font-size:12.8000001907349px">(610) 628-1280</span><br
                style="font-size:12.8000001907349px">
              <span style="font-size:12.8000001907349px">ted 'at' lehigh
                'dot' edu</span><br style="font-size:12.8000001907349px">
              <a
href="https://urldefense.proofpoint.com/v2/url?u=http-3A__coral.ie.lehigh.edu_-7Eted&d=DwMFaQ&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=hCdmkcD13RDYQnmalQJvQdcBxjCSg3n5IylUeEjy2sM&s=6qf-n7Qcrs1s690KkgiedzOMTpZo9QjrcH0VeZeSRM0&e="
                style="font-size:12.8000001907349px" target="_blank"
                moz-do-not-send="true">coral.ie.lehigh.edu/~ted</a><br>
            </div>
          </div>
        </div>
      </div>
      <br>
      <fieldset class="mimeAttachmentHeader"></fieldset>
      <br>
      <pre wrap="">_______________________________________________
Coin-discuss mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Coin-discuss@list.coin-or.org">Coin-discuss@list.coin-or.org</a>
<a class="moz-txt-link-freetext" href="https://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_coin-2Ddiscuss&d=DwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=hCdmkcD13RDYQnmalQJvQdcBxjCSg3n5IylUeEjy2sM&s=kYXodHzq2iwAFu359aNTiNu0peOQ58gznQrUp48pUU4&e=">https://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_coin-2Ddiscuss&d=DwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=hCdmkcD13RDYQnmalQJvQdcBxjCSg3n5IylUeEjy2sM&s=kYXodHzq2iwAFu359aNTiNu0peOQ58gznQrUp48pUU4&e=</a>
</pre>
    </blockquote>
    <p><br>
    </p>
  </body>
</html>