Add Solver.py and now we have a ugly but executable program