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.