MiniZinc GitHub

Preparing search index...
The search index is not available

MiniZinc JavaScript

MiniZinc JavaScript
Status

Type alias Status

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

Solve status.

Defined in index.d.ts:528

Settings

Member Visibility

Inherited

Theme

MiniZinc JavaScript

Model
BrowserInitConfig
CheckerMessage
CompilationProgress
ErrorMessage
ExitMessage
Location
ModelInterface
NodeInitConfig
Output
ParamConfig
SolutionMessage
SolveProgress
SolveResult
StackItem
StatisticsMessage
StatusMessage
TimestampMessage
TraceMessage
VarType
WarningMessage
Status
init
shutdown
solvers
version

Generated using TypeDoc