[SCIP] minimal irreducible infeasible subsystem

[Ali Baharev]

Hi,

I have already found

http://listserv.zib.de/pipermail/scip/2012-October/001095.html

and in particular:

SCIP> read <file>
SCIP> change minuc
SCIP> optimize

which works fine but how do I proceed from here?

How can I figure out which constraints of the **original** problem
belong to the irreducible inconsistent subsystem (IIS)?

For the time being, it is sufficient for me to know the number of
constraints in the IIS that were also in the original problem.

Any help is greatly appreciated.

Ali