The following pages link to Sokoban solver "scribbles" by Florent Diedler about the Sokolution solver: