smoarref/GameSolver not found