shlomif/sokoban-solver archive