Topological Sort: A stepwise implementation

Alloy 6
1

Hi everyone,

I would like to share my solution for implementing topological sorting of a graph in Alloy. Any suggestions would be appreciated.

I am using my LinkedList implementation that you can check out here.