この資料をSMS送信: Effective and Transparent Use of GPU in Constraint Solving