pymzn.Solutions

class pymzn.Solutions(stream)

Represents a solution stream from the minizinc function.

This class populates lazily but can be referenced and iterated as a list.

complete

bool – Whether the stream includes the complete set of solutions. This means the stream contains all solutions in a satisfiability problem, or it contains the global optimum for maximization/minimization problems.

Methods

Attributes

statistics