Exploring the use of GPGPUs in Constraint Solving