In this article, we present an implementation of a distributed shortest path propagator. Given
a graph and a goal node, this propagator maintains a finite domain variable for every node …