Pep8 formatting for solver.py