README
Suquster/moonbit-pathfinding/examples/eight_puzzle does not have a README file
Scenario
type ScenarioA named 8-puzzle scenario. print_each_step controls whether the solver
dumps every intermediate board (short runs only; the 15-20 step scenario
is noisy if this is on).
Source Files
Install
Download zipA MoonBit pathfinding and graph algorithms library with executable documentation, runtime-checked proof predicates, and multi-backend verification gates. Built for OSC 2026.
pathfindinggraphalgorithmsdijkstraastarbfsjpsruntime-contractsexecutable-docsosc-2026
Apache-2.0
Updated 3 months ago
82 downloads