Removed unused declarations in minimax_solver.