From ted at lehigh.edu Fri Mar 2 15:32:38 2018 From: ted at lehigh.edu (Ted Ralphs) Date: Fri, 2 Mar 2018 15:32:38 -0500 Subject: [Coin-discuss] Upcoming COIN-OR Workshop at IMA Message-ID: Dear all, This e-mail is to let you know that we have applied for and obtained support from the Institute for Mathematics and Its Applications (IMA) in Minneapolis, MN to host a week-long workshop focused on COIN-OR. The workshop will be followed by a year of "coding sprints" in which small groups will be hosted at IMA for intensive periods of code development in a fashion similar to a program currently under way that is focused on development of Sage: https://www.ima.umn.edu/2017-2018.2 The workshop will tentatively take place the week of October 15. Other details of the program and how exactly the coding sprints will be organized are still being worked out. We are now trying to gauge interest and are looking for feedback on how to build the program. If such a workshop is of interest to you, then we would appreciate if you would fill out the survey linked below: https://goo.gl/forms/MnWYGaM8cnGws0o43 Note that there will be limited travel support for those who need it. Further details, as they become known, will be posted here: https://www.coin-or.org/ima/ Thanks and looking forward to seeing some of you at the IMA! Cheers, Ted -- Dr. Ted Ralphs Professor and Interim Department Chair Industrial and Systems Engineering Lehigh University (610) 628-1280 ted 'at' lehigh 'dot' edu coral.ie.lehigh.edu/~ted -------------- next part -------------- An HTML attachment was scrubbed... URL: From tkr2 at lehigh.edu Sat Mar 24 12:48:14 2018 From: tkr2 at lehigh.edu (Ted Ralphs) Date: Sat, 24 Mar 2018 12:48:14 -0400 Subject: [Coin-discuss] open-source ILP solver with IIS generation feature In-Reply-To: <27A36DE6-04A5-41B0-A105-7A5B151A9E73@gmail.com> References: <27A36DE6-04A5-41B0-A105-7A5B151A9E73@gmail.com> Message-ID: 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 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: From john.forrest at fastercoin.com Sat Mar 24 13:06:04 2018 From: john.forrest at fastercoin.com (John Forrest) Date: Sat, 24 Mar 2018 17:06:04 +0000 Subject: [Coin-discuss] open-source ILP solver with IIS generation feature In-Reply-To: References: <27A36DE6-04A5-41B0-A105-7A5B151A9E73@gmail.com> Message-ID: <08f5b2a7-79ab-9244-6f45-ca833764574e@fastercoin.com> 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 > 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 > > > > _______________________________________________ > 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: