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

[CP-SAT] remove spurious log

Browse Source
This commit is contained in:
Laurent Perron
2022-07-04 14:58:58 +02:00
parent 647d7aa2a7
commit 946e5f5573
1 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
ortools/sat/integer.h
View File

@@ -1738,10 +1738,9 @@ inline std::function<void(Model*)> LowerOrEqual(IntegerVariable v, int64_t ub) {
IntegerLiteral::LowerOrEqual(v, IntegerValue(ub)),
std::vector<Literal>(), std::vector<IntegerLiteral>())) {
model->GetOrCreate<SatSolver>()->NotifyThatModelIsUnsat();
LOG(WARNING) << "Model trivially infeasible, variable " << v
<< " has lower bound " << model->Get(LowerBound(v))
<< " and LowerOrEqual() was called with an upper bound of "
<< ub;
VLOG(1) << "Model trivially infeasible, variable " << v
<< " has lower bound " << model->Get(LowerBound(v))
<< " and LowerOrEqual() was called with an upper bound of " << ub;
}
};
}