Board Game Solvers