Pātuhitia tēnei: Exploring the use of GPGPUs in constraint solving