It would be nice if the method addVariable could work with a set or frozenSet :
for instance :
problem.addVariable("a variable", set(0,1,2,3,4,5,6,7,8,9))

It makes more sense because most of the time duplication in possible values makes no sense.