Library for Constraint Satisfaction Problem

Accelerated Computing GPU-Accelerated Libraries
1

CUDA has some library for Constraint Satisfaction Problem (CSP) or a parallel algorithm that uses the Gecode model?

2

Could you point at relevant libraries for this that exist in CPU space, as a reference as to what exactly you are looking for?