So i'm really impressed about som sokoban solvers work,

>>61767346

Anything a human can do isn't actually that much of a difficult task

It probably just simulates the game offscreen and does thousands of attempts per second

It's probably bruteforce with some optimizations. Something like you can't get a single box out of corner, don't continue solving rest). Computers are very fast, mostly problem here is memory than speed when you backtrace and keep the state of board on every step.

>>61767346
Graphs, man.

>>61767560
>Anything a human can do isn't actually that much of a difficult task
you sound like you have no skills

>>61768021
even then, physical memory is cheap and people have a lot of it
simulating every iteration wouldn't take that much