[Coin-discuss] open-source ILP solver with IIS generation feature

[Ted Ralphs]

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.

Cheers,

Ted

On Wed, Feb 21, 2018 at 12:08 PM, Iulian Ober <iulian.s.ober at gmail.com>
wrote:

> Hello,
>
> 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.
>
> Best regards,
> Iulian Ober
>
>
>
> _______________________________________________
> Coin-discuss mailing list
> Coin-discuss at list.coin-or.org
> https://list.coin-or.org/mailman/listinfo/coin-discuss
>



-- 
Dr. Ted Ralphs
Professor, Lehigh University
(610) 628-1280
ted 'at' lehigh 'dot' edu
coral.ie.lehigh.edu/~ted
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/coin-discuss/attachments/20180324/8dcb1cf3/attachment.html>