Module solution_iterator

Contains the structures corresponding to solution iterations.

Structs

• SolutionIterator
  A struct which allows the retrieval of multiple solutions to a satisfaction problem.

Enums

• IteratedSolution
  Enum which specifies the status of the call to SolutionIterator::next_solution.