Rename Solver to Solver.py