[Scip] Transformed constraints

[Julio Rojas]

Dear all, I'm really new to linear optimization in general and binary
integer programming in particular. I mostly use very simple models for
clustering and bundling problems. In one of them I see that there are
some transformed constraints after the presolver passes by:

[logicor] <both_x1x2_a>: logicor(<t_y12>, <t_x1_neg>, <t_x2_neg>);
[setppc] <both_x5x6_b_clq_0_0>: +<t_y56> +<t_x6_neg> <= 1;

The second one, I think the presolver took it by decomposing another
constraint in two. But the first one, I don't have a clue of what it
means. Can somebody care to explain what "logicor" and "setppc" mean?
Is there a way to directly include this kind of constraints using the
standalone solver?

Thanks in advance for your help. Best regards.
-------------------------------------------------
Julio Rojas
jcredberry at gmail.com