SWI Dependency Graph

[EricGT]

@edmcman

Is there a way to create IDs based on structural equivalence?

You might find this of value:

Structurally equivalent (=@=) and numbervars/1

Also Graph Theory FAQs: 03. Isomorphism Using Adjacency Matrix