pymzn.Status

class pymzn.Status

Status of the solution stream.

Attributes

COMPLETE	The solution stream is complete (all solutions for satisfaction problems, optimal solution for optimization problems)
ERROR	Generic error in the execution of the solver
INCOMPLETE	The solution stream is incomplete
UNBOUNDED	The problem admits infinite solutions (unbounded domain)
UNKNOWN	The solution stream is empty (no solution found in the time limit)
UNSATISFIABLE	The problem admits no solution
UNSATorUNBOUNDED	Either unsatisfiable or unbounded