Seol mar théacs é seo: Effective and Transparent Use of GPU in Constraint Solving