Specs

propagate(map(), Graph.t(), map(), Keyword.t()) ::
  {:fail, reference()} | {map(), Graph.t(), map()}

A single pass of propagation. Produces the list (up to implementation) of propagators scheduled for the next pass. Side effect: modifies the constraint graph. The graph will be modified on every individual Propagator.filter/1, if the latter results in any domain changes.