[Scip] possible to output what is infeasible?

[Gerald Gamrath]

Hi George,

does SCIP detect the infeasibility already in presolving? If that is the 
case, as a start, you should set the verbosity level in SCIP to 5 (which 
stands for full). The parameter is called "display/verblevel", in the 
interactive shell, type "set disp verblevel 5". This will give you the 
information which constraint handler or other plugin detected the 
infeasibility.

After that, we can discuss how to identify the cause for the 
infeasibility. For that, it would be good if you sent us the instance 
and the SCIP output (best send it to me directly).

Best,
Gerald

Am 21.09.2013 23:28, schrieb George Nychis:
> If I am running SCIP on a ZMPL file like "scip -f blah.zpl" and it 
> determines that my problem is infeasible, is there any way to also 
> output the potential variables that are causing the infeasibility? 
>  Basically, something to help me debug the issue.
>
> Thanks!
>
> - George
>
>
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> http://listserv.zib.de/mailman/listinfo/scip

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20130922/d89a834a/attachment.html>