vars: actually check for setname
@@ -58,6 +58,7 @@ class IntVarImpl(NumVarImpl):
assert (lb >= 0 and ub >= 0)
super().__init__(lb, ub)
+ if setname:
self.name = IntVarImpl.counter
IntVarImpl.counter = IntVarImpl.counter + 1 # static counter
