By mistake, while defining a CP-SAT model, I've created two variables with the same name:

variable1 = model.NewIntVar(0, cp_model.INT32_MAX, "cool_name")
variable2 = model.NewIntVar(0, cp_model.INT32_MAX, "cool_name")

No error or warning is generated. Does it have any consequence at all?

By mistake, while defining a CP-SAT model, I've created two variables with the same name:

variable1 = model.NewIntVar(0, cp_model.INT32_MAX, "cool_name")
variable2 = model.NewIntVar(0, cp_model.INT32_MAX, "cool_name")

No error or warning is generated. Does it have any consequence at all?

• or-tools
• cp-sat

Share Improve this question Follow edited Nov 20, 2024 at 7:04 MarcoM asked Nov 19, 2024 at 10:46 MarcoMMarcoM 1,20422 gold badges1010 silver badges2626 bronze badges

Add a comment  | 

1 Answer 1

Sorted by: Reset to default 1

nothing. We do not use names at all in the solver.