Show HN: Sokoban AI Solver
Summary
The article presents Sokoban AI Solver, a browser-based solver implemented as a plain JavaScript port of a native C++ optimal solver. It explains how A* with a move-optimal macro-push approach yields the true minimum number of keeper moves, using compact 32-bit bitmask state encoding, a dial bucket queue for the frontier, and deadlock pruning to ensure optimal solutions. Boards 1–14 are solved live to proven optimum, while board 15 is precomputed offline due to complexity, with a GitHub-hosted solver referenced.