Suquster/moonbit-pathfinding/examples/maze_solver does not have a README file
type MazeInstall
Download zipA MoonBit pathfinding and graph algorithms library with executable documentation, runtime-checked proof predicates, and multi-backend verification gates. Built for OSC 2026.