<div dir="auto">Hi SCIP Team, <div dir="auto"><br></div><div dir="auto">I hope you're doing well! </div><div dir="auto"><br></div><div dir="auto">I'm reaching out to check if SCIP has a feature for identifying an Irreducible Inconsistent Subsystem (IIS), </div><div dir="auto">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. </div><div dir="auto"><br></div><div dir="auto">Thanks in advance for your time!</div><div dir="auto">Regards,</div><div dir="auto">Ameya</div></div>