Stav dette: Constraint programming and maths programming