[SCIP] isModelCons in Orbisack -- Crash

[Christopher Hojny]

Hi Gleb,

you are right. If you want to use orbisacks to "just" handle symmetries
in your problem, you should set the "isModelCons" flag to FALSE. In this
case, SCIP will also except solutions that do not adhere to the orbisack
constraint. Only in case you want to enforce that a solution adheres to
the orbisack structure, the "isModelCons" flag should be set to TRUE. If
SCIP detects orbisacks on its own, it always adds them with the flag
being FALSE to not hinder heuristics to find solutions.

Regarding your crash report, it is difficult to find the reason without
further information. Could you provide further information on how you
add orbisacks, a stack trace of the fail, or a minimum crashing example
please?

Best,
Christopher



On 05-02-2021 06:49, Gleb Belov wrote:
> Hi,
>  
> I have a model where anti-symmetry constraints use orbisacks. When
> setting isModelCons==0, SCIP 7.0.2 crashes i SCIPconsTransform(). Do I
> understand correctly that pure anti-symmetry constraints should set
> isModelCons==0?
>  
> Cheers,
> Gleb
>  
>  
> 
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> https://listserv.zib.de/mailman/listinfo/scip
>