<div dir="ltr"><div dir="ltr"><div dir="ltr">Dear Scipers,<div><br></div><div>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.</div><div><br></div><div>For example, in one instance it adds this row in the beginning:</div><div>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<br></div><div><br></div><div>Then, after exploring some other solution, it adds the same row again:</div><div>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<br></div><div><br></div><div>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.</div><div><br></div><div>Thanks,</div><div>Matheus</div></div></div></div>