[SCIP] minimal irreducible infeasible subsystem

[Gregor Hendel]

Hi Ali and list,

you can figure out the number of violated constraints from the primal 
bound. After the transformation, there is one binary variable added for 
every constraint of the original problem, each with an objective 
coefficient of 1. These variables are named "<originalconsname>_master"

You can display the problem after the minuc transformation by using 
'display problem'.

If you would like to know the constraints that are violated in the minuc 
solution, type display solution and check which of the master variables 
are set to 1.

Kind regards,
Gregor

Am 11.12.2015 um 12:10 schrieb 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
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> http://listserv.zib.de/mailman/listinfo/scip