Gem Hunter SAT Problem Running Install PySAT here before running. Change the input up to your preferences. Then, run: python Main.py