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

[John Forrest]

Iulian,

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.

John Forrest

On 24/03/18 16:48, Ted Ralphs wrote:
> 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 
> <mailto: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 <mailto:Coin-discuss at list.coin-or.org>
>     https://list.coin-or.org/mailman/listinfo/coin-discuss
>     <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=>
>
>
>
>
> -- 
> Dr. Ted Ralphs
> Professor, Lehigh University
> (610) 628-1280
> ted 'at' lehigh 'dot' edu
> coral.ie.lehigh.edu/~ted 
> <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=>
>
>
> _______________________________________________
> Coin-discuss mailing list
> Coin-discuss at list.coin-or.org
> 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=


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/coin-discuss/attachments/20180324/19e27ad2/attachment.html>