[SCIP] Same row added multiple times

[Matheus Ota]

Dear Scipers,

I've been implementing a branch-and-cut using SCIP, I already implemented
the constraint handler and I'm adding the violated rows using "SCIPaddRow".
I'm also setting forcecut = true, and thus, I would suppose that, once a
violated row is added, the same row should not be added again. However, my
program add the same row multiple times.

For example, in one instance it adds this row in the beginning:
196 <= +196<t_x_7,2> +196<t_x_7,3> +196<t_x_6,2> +196<t_x_6,3>
+196<t_x_5,2> +196<t_x_5,3> +196<t_x_4,2> +196<t_x_4,3> -196<t_x_3,2>
-196<t_x_3,4> -196<t_x_2,3> -196<t_x_2,4> +196<t_x_1,2> +196<t_x_1,3>
+1<t_y_163> +392 <= 1e+20

Then, after exploring some other solution, it adds the same row again:
196 <= +196<t_x_7,2> +196<t_x_7,3> +196<t_x_6,2> +196<t_x_6,3>
+196<t_x_5,2> +196<t_x_5,3> +196<t_x_4,2> +196<t_x_4,3> -196<t_x_3,2>
-196<t_x_3,4> -196<t_x_2,3> -196<t_x_2,4> +196<t_x_1,2> +196<t_x_1,3>
+1<t_y_163> +392 <= 1e+20

I'd appreciate any help! Also, is there any way so that I can print all the
current rows in the LP? My idea was to print all rows in the LP before SCIP
adds the same row the second time, so that I can check that indeed the row
was added the first time.

Thanks,
Matheus
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20210815/7fe48444/attachment.html>