Formalization of the constraint propagation algorithm