pymzn.SolnStream

class pymzn.SolnStream(solns, complete)

Represents a solution stream from the minizinc function.

This class can be referenced and iterated as a list.

Parameters: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