Constraint Propagation in Flexible Manufacturing