Update Solver class
  - Add iterSolveAll() to Solver class to return all the solutions of the SAT object by using iterSolve().
Merge branch 'master' of https://github.com/VictorLoren/python-sat-solver