A constraint solver purely on GPUs (CUDA) - View it on GitHub