發送短信: Program does not equal program: Constraint programming and its relationship to mathematical programming