Many Hard LeetCode Problems Are Easy Constraint Problems