AllSAT

Added functionality to return all models for a given expr.
If I had to guess, Sphinx probably doesn't like this indentation here. You can verify it by building the docs yourself, though.