Sokoban AI solver uses macro-push A* for optimal solutions

A browser Sokoban game ships with an A* solver that returns provably fewest-moves solutions, modeling each search edge as a whole box push. A plain-JavaScript port of a native C++ optimal solver, it packs box states into 32-bit integers and uses a dial bucket queue to search millions of states in tens of MB.