Properties
request
{ constraints: ( | { id?: string; op: "<=" | ">=" | "=="; rhs: number; terms: object[]; type: "linear"; } | { id?: string; op: "<=" | ">="; penalty: number; rhs: number; stage?: string; terms: object[]; type: "soft_linear"; } | { type: "exactly_one"; vars: string[]; } | { type: "at_most_one"; vars: string[]; } | { if: string; then: string; type: "implication"; } | { type: "bool_or"; vars: string[]; } | { type: "bool_and"; vars: string[]; } | { intervals: string[]; type: "no_overlap"; })[]; mode?: "optimize" | "satisfy"; objective?: { sense: "minimize" | "maximize"; terms: object[]; }; objectiveStages?: object[]; options?: { diagnostics?: "none" | "hard"; solutionLimit?: number; timeLimitSeconds?: number; }; variables: ( | { name: string; type: "bool"; } | { max: number; min: number; name: string; type: "int"; } | { end: number; name: string; presenceVar?: string; size: number; start: number; type: "interval"; })[]; } | null
required
Solver request, or
null when compilation found errors and did not produce a model.