Package org.eclipse.viatra.dse.util.dijkstra