Update SAT object
Update SAT object

  - Fix error in getLiteralStrFromDict() where varDict wasn't being referenced correctly.
  - Add more comments/documentation within docstring.

VictorLoren/python-sat-solver