always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix overflow

Browse Source
This commit is contained in:
Laurent Perron
2020-03-03 14:53:36 +01:00
parent 578afb76ea
commit d7703bc106
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
ortools/sat/cuts.cc
View File

@@ -753,7 +753,7 @@ void IntegerRoundingCutHelper::ComputeCut(
const double lb_dist = std::abs(lp_value - ToDouble(lb));
const double ub_dist = std::abs(lp_value - ToDouble(ub));
const double bias =
std::max(1.0, ToDouble(max_magnitude) / ToDouble(10 * magnitude));
std::max(1.0, 0.1 * ToDouble(max_magnitude) / ToDouble(magnitude));
if ((bias * lb_dist > ub_dist && cut->coeffs[i] < 0) ||
(lb_dist > bias * ub_dist && cut->coeffs[i] > 0)) {
change_sign_at_postprocessing_[i] = true;