AllSAT

Add an example of this in the doctests.