[Scip] Quick question on how to get infesibility info from presolver or after solve returns infeasible

[Stefan Heinz]

Hi,

you can set the verbosity level to 5. This will give you some more 
information.

SCIP> set display verblevel 5

Besides that you can try the beta version of the infeasibility analysis 
tool:

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

Best Stefan


On 10/02/2012 03:10 PM, Guillermo Irisarri wrote:
> Dear Mr Heinz:
>
> I have looked at the documentation and cannot find a way to get the information above out of SCIP. Could you point me in the right direction or, perhaps, give an idea on how to proceed. If there are any examples, a pointer to those would be very useful.
>
> Thanks
>
> Guillermo Irisarri
>
>
> -----
> Open Access Technology International, Inc.
> e-mail: Guillermo.Irisarri at oati.net<mailto:P at oati.net>
> 3660 Technology Drive NE
> Minneapolis, MN 55418
> CONFIDENTIAL INFORMATION:  This email and any attachment(s) contain confidential and/or proprietary information of Open Access Technology International, Inc.  Do not copy or distribute without the prior written consent of OATI.  If you are not a named recipient to the message, please notify the sender immediately and do not retain the message in any form, printed or electronic.
> -----
>
>