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.