この資料をSMS送信: Constraint programming and maths programming