Constraint Propagation in Flexible Manufacturing | EKB DL