Merge pull request ERGO-Code#2338 from ERGO-Code/mt/fix-sepa-implbds

jajhall · web-flow · commit 766e801cef4d · 2025-05-15T09:18:43.000+01:00
Fix bug in separateImpliedBounds
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`	`}`