From fdd1783085eae3bb67388b6fa6691959c57eca26 Mon Sep 17 00:00:00 2001 From: Laurent Perron Date: Sat, 13 Nov 2021 08:48:46 +0100 Subject: [PATCH] fix --- ortools/constraint_solver/routing_lp_scheduling.h | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/ortools/constraint_solver/routing_lp_scheduling.h b/ortools/constraint_solver/routing_lp_scheduling.h index 8586654d1e..9ad3351e11 100644 --- a/ortools/constraint_solver/routing_lp_scheduling.h +++ b/ortools/constraint_solver/routing_lp_scheduling.h @@ -508,11 +508,14 @@ class RoutingCPSatWrapper : public RoutingLinearSolverWrapper { } } void AddProductConstraint(int product_var, std::vector vars) override { - sat::IntegerArgumentProto* const ct = + sat::LinearArgumentProto* const ct = model_.add_constraints()->mutable_int_prod(); - ct->set_target(product_var); + ct->mutable_target()->add_vars(product_var); + ct->mutable_target()->add_coeffs(1); for (const int var : vars) { - ct->add_vars(var); + sat::LinearExpressionProto* expr = ct->add_exprs(); + expr->add_vars(var); + expr->add_coeffs(1); } } void SetEnforcementLiteral(int ct, int condition) override {