Update Solver object.
Update Solver object.

  - Add isSolved() function to check if the assignment has satisfied the SAT object. Still has work to be done to check if assignments with SAT's clauses.

VictorLoren/python-sat-solver