Automated Modelling and Solving in Constraint Programming