[SCIP] minimal irreducible infeasible subsystem

Ali Baharev ali.baharev at gmail.com
Fri Dec 11 12:10:58 CET 2015


I have already found


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.


More information about the Scip mailing list