Moved solver stuff to RushHour.py