Mastermind Solver This repository contains the solver for Mastermind game using PyZ3, the final assignment for Selected Topics in Computer Science: SAT and SMT solvers. Just install PyZ3 and run solve.py.