Sokoban Automatic Solver Ver7.3.1 (Command line version)

Download  (2021/10/20 update)

https://computerpuzzle.net/english/sokoban/ver731/takaken731c.exe

How to use

"-in" for the level file to be solved
"-out" for the output file
"-time" for the time (sec)

For instance:
    takaken731c.exe -in level.sok -out result.txt -time 600

In level file, you can use "-" and "_" instead of spaces.