Dijkstra small fromating changes
Added isReflexive, isSimmetric, isTransitive to dm
Added graph equality and partial order detection
Added Warshall impl