AllSAT

Added functionality to return all models for a given expr.
Add a note that it returns False if expr is unsatisfiable.