Text this: Constraint programming and maths programming