I think these solvers don't find optimal solutions, but they do find solutions which is cool. I wouldn't go to the french site (maybe site down.) I branch and bound algorithm might be possible to find optimal sokoband pushes/moves, i also tried and never got around to finishing a sokooptimalsolver.(posted 8502 days ago)