Machine learning for constraint solver design -- A case study for the alldifferent constraint