Add the ability to find all the solutions.
Merge pull request #1 from ContinuumIO/master

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