[Scip] XOR constraints

[Jörg Pfähler]

Hi,

does SCIP somehow take advantage of an xor-constraint (only one of the binary 
variables x_1, ..., x_k is 1) created with SCIPcreateConsXor instead of 
creating an equivalent constraint (x_1 + ... + x_k <= 1) with 
SCIPcreateConsLinear?

Best Regards,
Jörg