A lagrangian propagator for artificial neural networks in constraint programming