Dijkstra solutions

Dijkstra was solved using Maxima by 1 contestant.