Whitespace/formatting for solver.py