<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">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">Coin-discuss@list.coin-or.org</a><br>
<a href="https://list.coin-or.org/mailman/listinfo/coin-discuss" rel="noreferrer" target="_blank">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="http://coral.ie.lehigh.edu/~ted" style="font-size:12.8000001907349px" target="_blank">coral.ie.lehigh.edu/~ted</a><br></div></div></div>
</div>