Type Alias Status

Type declaration

• "ALL_SOLUTIONS"

  All solutions found for a satisfaction problem

• "OPTIMAL_SOLUTION"

  Optimal solution found for an optimisation problem

• "UNSATISFIABLE"

  Problem is unsatisfiable

• "UNBOUNDED"

  Problem is unbounded

• "UNSAT_OR_UNBOUNDED"

  Problem is unsatisfiable or unbounded

• "SATISFIED"

  Problem is satisfied

• "UNKNOWN"

  Status is unknown

• "ERROR"

  An error occurred