<p dir="ltr">Hi Mark,  </p>
<p dir="ltr">Thanks for the step-by-step breakdown. Super helpful—I’ll get right on it and try out the process you shared. Looking forward to when it’s released to PySCIPOpt.  </p>
<p dir="ltr">Thank you for getting back! Cheers!</p>
<p dir="ltr">Best,  <br>
Ameya</p>
<br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Mon, 27 Jan, 2025, 15:18 Mark Turner, <<a href="mailto:turner@zib.de">turner@zib.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Dear Ameya,<br>
<br>
<br>
You should now be able to create an IIS with SCIP!<br>
<br>
Things that you'd need to do:<br>
<br>
- Clone the current master branch from the GitHub<br>
<br>
- Build SCIP<br>
<br>
- Load your infeasible problem in the SCIP shell with command `read <br>
path_to_instance_file` (you can simply write out the instance from your <br>
python script)<br>
<br>
- Run the command `iis`<br>
<br>
- Then either run `write iis path_to_new_instance_file` or `display iis` <br>
to see an IIS of your original instance.<br>
<br>
It will take a couple of months before this feature is in the official <br>
SCIP release, and therefore also won't be available via PySCIPOpt until <br>
then. After that date there's going to be some nice Python function like <br>
`computeIIS` or `generateIIS`.<br>
<br>
<br>
Cheers and have a good week,<br>
<br>
Mark<br>
<br>
On 1/12/25 12:20, Kamp, Dominik wrote:<br>
> Dear Ameya,<br>
><br>
> MIP-DD (<a href="https://github.com/scipopt/MIP-DD" rel="noreferrer noreferrer" target="_blank">https://github.com/scipopt/MIP-DD</a>) on the develop branch provides some kind of IIS-heuristic, which can simply be set up by linking SCIP to it and adding option -o feasible when calling.<br>
><br>
> However, since it is rather designed to investigate the underlying solver instead of the given problem, you might want to wait for the IIS-plugin in SCIP announced in an earlier message on this list, which could be available soon on the master branch of SCIP.<br>
><br>
> Best regards,<br>
><br>
> Dominik<br>
><br>
>> On 12. Jan 2025, at 07:50, Ameya Munagekar <<a href="mailto:amunagekar@gmail.com" target="_blank" rel="noreferrer">amunagekar@gmail.com</a>> wrote:<br>
>><br>
>> Hi SCIP Team,<br>
>><br>
>> I hope you're doing well!<br>
>><br>
>> I'm reaching out to check if SCIP has a feature for identifying an Irreducible Inconsistent Subsystem (IIS),<br>
>> I'm working on a project in python where I need to analyze infeasibility in optimization models, and I was wondering if SCIP can help with this directly or if there's a recommended workaround, any pointers or advice would be really helpful.<br>
>><br>
>> Thanks in advance for your time!<br>
>> Regards,<br>
>> Ameya<br>
>> _______________________________________________<br>
>> Scip mailing list<br>
>> <a href="mailto:Scip@zib.de" target="_blank" rel="noreferrer">Scip@zib.de</a><br>
>> <a href="https://listserv.zib.de/mailman/listinfo/scip" rel="noreferrer noreferrer" target="_blank">https://listserv.zib.de/mailman/listinfo/scip</a><br>
><br>
> _______________________________________________<br>
> Scip mailing list<br>
> <a href="mailto:Scip@zib.de" target="_blank" rel="noreferrer">Scip@zib.de</a><br>
> <a href="https://listserv.zib.de/mailman/listinfo/scip" rel="noreferrer noreferrer" target="_blank">https://listserv.zib.de/mailman/listinfo/scip</a><br>
</blockquote></div>