Type alias Status

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

Solve status.

Settings

Member Visibility

Theme