TURBO Turbo aims to be a constraint solver entirely on GPUs. Dependencies Cuda compiler nvcc. libxml2