Graph Editor

Instructions:

  • Click "Add Node" to create a new node
  • Drag a node to move it
  • Click on a node to select it (click again to deselect)
  • With one node selected, click another to create an edge
  • Double-click a node to edit its label
  • Right-click a node to delete it

WL Algorithm Controls

Check Node Colors

Check if two nodes always have the same color

Isomorphism Test

Test two graphs for potential isomorphism

Graph 1: Not saved

Graph 2: Not saved