Artificial intelligence Sokoban solver team project