add evaluation of alldifferent reif global constraint existence in different solvers
add evaluation of alldifferent reif global constraint existence in different solvers

isse-augsburg/minibrass,isse-augsburg/minibrass,isse-augsburg/minibrass,isse-augsburg/minibrass