أرسل هذا في رسالة قصيرة: Effective and Transparent Use of GPU in Constraint Solving