A Mastermind solver.