ilanschnell/pycosat — pull request #1 by teoliphant (2013-03-26 05:22:03+00:00)
Title: 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.