SMS: Exploring the use of GPGPUs in constraint solving