Exploring the Use of GPUs in Constraint Solving