SolutionSet enumeration

Added a function to enumerate solution sets.