Update Solver class
  - Add iterSolve() in Solver class to iteratively solve for all solutions for a SAT object.
  - iterSolve() uses backtracking in its alogrithm to find all solutions more efficiently than simpleSolveAll().