Local Propagation in Constraint-based Neural Networks