Added MinimaxSolver and added randomness in GreedySolver.