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

[CP-SAT] fix bug with out of domain hints

Browse Source
This commit is contained in:
Laurent Perron
2021-09-29 08:53:12 +00:00
parent 9ef797332b
commit 8ac2445b88
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
ortools/sat/cp_model_presolve.cc
View File

@@ -7221,8 +7221,8 @@ void ApplyVariableMapping(const std::vector<int>& mapping,
int64_t old_value = mutable_hint->values(i);
// We always move a hint within bounds.
// This also make sure a hint of INT_MIN or INT_MAX does not overflow.
if (old_value < context.MinOf(i)) old_value = context.MinOf(i);
if (old_value > context.MaxOf(i)) old_value = context.MaxOf(i);
if (old_value < context.MinOf(old_ref)) old_value = context.MinOf(old_ref);
if (old_value > context.MaxOf(old_ref)) old_value = context.MaxOf(old_ref);
// Note that if (old_value - r.offset) is not divisible by r.coeff, then
// the hint is clearly infeasible, but we still set it to a "close" value.
const AffineRelation::Relation r = context.GetAffineRelation(old_ref);