dijkstra explorer
One solver, three algebras. Swap ⊗ and the same finalize-on-pop machine computes shortest paths, trapped water levels, or widest paths.
Click cells to edit height (+1, shift-click -1). Step through the trace or play the animation. The algebra dropdown switches the semiring.
See The Algebraic Path Problem for the theory.