AllSAT

Added functionality to return all models for a given expr.