發送短信: Constraint programming and maths programming