Added methods for iterating over variable assignments rendering a formula true, given a database.