Type Alias Status

Status:
    | "ALL_SOLUTIONS"
    | "OPTIMAL_SOLUTION"
    | "UNSATISFIABLE"
    | "UNBOUNDED"
    | "UNSAT_OR_UNBOUNDED"
    | "SATISFIED"
    | "UNKNOWN"
    | "ERROR"

Solve status.

"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