Add the ability to find all solutions to the SAT problem.

I added a function called solveall which finds all the solutions to the SAT problem.