Change sign of coefficient in implbd cut

Opt-Mucca · Opt-Mucca · commit 5e7f6f3cb594 · 2025-05-14T17:24:23.000+02:00
diff --git a/highs/mip/HighsImplications.cpp b/highs/mip/HighsImplications.cpp
@@ -635,7 +635,7 @@ void HighsImplications::separateImpliedBounds(
           vals[0] = -1.0;
           inds[0] = implics[i].column;
           vals[1] =
-              globaldomain.col_lower_[implics[i].column] - implics[i].boundval;
+              implics[i].boundval - globaldomain.col_lower_[implics[i].column];
           inds[1] = col;
           rhs = -globaldomain.col_lower_[implics[i].column];
         }

Original file line number	Diff line number	Diff line change
`@@ -635,7 +635,7 @@ void HighsImplications::separateImpliedBounds(`
`635`	`635`	`vals[0] = -1.0;`
`636`	`636`	`inds[0] = implics[i].column;`
`637`	`637`	`vals[1] =`
`638`		`- globaldomain.col_lower_[implics[i].column] - implics[i].boundval;`
	`638`	`+ implics[i].boundval - globaldomain.col_lower_[implics[i].column];`
`639`	`639`	`inds[1] = col;`
`640`	`640`	`rhs = -globaldomain.col_lower_[implics[i].column];`
`641`	`641`	`}`