Update Solver object

  - Update Solver.py to use the SAT object within the Solver class.
  - Update Solver class to initiate assignment as a dictionary using the variable keys from the SAT object (in varDict).