Propagator modification :
one constraint must be registered to a given propagator to use it

Solution display modification :
once the number of solutions is reached, display a message