Constraint Programming over Finite Domain