Extensible Automated Constraint Modelling