CS 2100 Mastermind project. Use Python with z3py to generate random Mastermind codes and solve them in as few steps as possible.