Update Solver class
  - Add simpleSolveAll() to find all solutions to a SAT object by using simpleSolve(). Solves SAT by solving with simpleSolver() after adding the negation of the previous solution to the set of clauses to solve. Note that this is clearly inefficient but will always return a complete solution.