fix #5064

lperron · lperron · commit d8fa9b1d4e56 · 2026-02-26T14:34:02.000+01:00
diff --git a/ortools/flatzinc/cp_model_fz_solver.cc b/ortools/flatzinc/cp_model_fz_solver.cc
@@ -1821,6 +1821,7 @@ void CpModelProtoWithMapping::OrToolsArgMax(const fz::Constraint& fz_ct,
   for (const auto& [value, literal] : GetFullEncoding(z)) {
     if (value < min_index || value >= min_index + num_vars) {
       AddImplication({}, NegatedRef(literal));
+      continue;
     }
     const int64_t index = value - min_index;
     AddLinearConstraint({literal}, Domain(index - num_vars),

Original file line number	Diff line number	Diff line change
`@@ -1821,6 +1821,7 @@ void CpModelProtoWithMapping::OrToolsArgMax(const fz::Constraint& fz_ct,`
`1821`	`1821`	`for (const auto& [value, literal] : GetFullEncoding(z)) {`
`1822`	`1822`	`if (value < min_index \|\| value >= min_index + num_vars) {`
`1823`	`1823`	`AddImplication({}, NegatedRef(literal));`
	`1824`	`+ continue;`
`1824`	`1825`	`}`
`1825`	`1826`	`const int64_t index = value - min_index;`
`1826`	`1827`	`AddLinearConstraint({literal}, Domain(index - num_vars),`