@ohtaman/washi 0.4.0 → 0.5.0

package/dist/types/index.d.ts

@@ -4,8 +4,8 @@
  * Domain-pure algebraic modeling with WebAssembly (HiGHS, Z3, GLPK) and pluggable solvers.
  * Supports LP (Linear Programming), MIP (Mixed-Integer Programming), QP (Quadratic Programming), and SMT.
  */
-export { Model, type ModelOptions, type BoundsOptions, Var, type VarOptions, LinExpr, QuadExpr, type Expr, type QuadTerm, sum, dot, Constraint, BoolVar, BoolExpr, BoolOp, and, or, not, implies, xor, parseExpr, parseConstraint, expr, c, generateLpString, type LpModelData, type LpExportResult, } from "./modeler/index.js";
-export { normalizeSense, type VarType, type OptimizationSense, type ComparisonSense, type SolverStatus, type SolveOptions, type SolverSolution, } from "./modeler/types.js";
-export { type Solver, type SolverOptions, type SolverResult, type SolverCheckResult, type SolverCapabilities, HighsSolver, HiGHS, MockSolver, registerSolver, getSolver, setDefaultSolver, listAvailableSolvers, } from "./modeler/solvers/index.js";
-export { getHighs, solveLpWithHighs, setHighsWasmUrl, getHighsWasmUrl, OFFICIAL_HIGHS_CDN_WASM_URL, isValidWasmHeader, probeWasmUrl, resolveBrowserWasmUrl, } from "./modeler/solvers/highs/index.js";
+export { Model, type ModelOptions, type BoundsOptions, type BinaryOptions, type IndicatorOptions, type ConstraintItem, type KeyCollection, deriveBigMForLe, deriveBigMForGe, validateUserBigM, buildIndicatorLinearization, validateModelIntegrity, maximize, minimize, type ObjectiveExpr, type ObjectiveSpec, Var, type VarOptions, LinExpr, QuadExpr, type Expr, type DotTerm, type DotVarContainer, type DotCoeffContainer, type QuadTerm, sum, dot, Constraint, BoolVar, BoolExpr, BoolOp, type LogicElement, type LogicInput, and, or, not, implies, xor, parseExpr, parseConstraint, expr, type ParsedExpr, type ExprResolver, generateLpString, buildLpSymbolMaps, isLpExportResult, sanitizeIdentifier, type LpModelData, type LpSymbolMaps, type LpExportResult, validateModelSolution, type SolutionValidationOptions, type ViolationType, type SolutionViolation, type SolutionValidationSummary, type SolutionValidationReport, } from "./modeler/index.js";
+export { normalizeSense, type VarType, type OptimizationSense, type ComparisonSense, type SolverStatus, type TerminationStatus, type SolveProgressEvent, type SolveOptions, type SolverSolution, type CheckResult, } from "./modeler/types.js";
+export { type Solver, type SolverOptions, type SolverResult, type SolverCheckResult, type SolverCapabilities, type SolveModelData, type CheckModelData, type LogicalConstraintItem, HighsSolver, HiGHS, MockSolver, type MockSolverOptions, registerSolver, getSolver, setDefaultSolver, listAvailableSolvers, } from "./modeler/solvers/index.js";
+export { getHighs, solveLpWithHighs, setHighsWasmUrl, getHighsWasmUrl, } from "./modeler/solvers/highs/index.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/types/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EACL,KAAK,EACL,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,GAAG,EACH,KAAK,UAAU,EACf,OAAO,EACP,QAAQ,EACR,KAAK,IAAI,EACT,KAAK,QAAQ,EACb,GAAG,EACH,GAAG,EACH,UAAU,EACV,OAAO,EACP,QAAQ,EACR,MAAM,EACN,GAAG,EACH,EAAE,EACF,GAAG,EACH,OAAO,EACP,GAAG,EACH,SAAS,EACT,eAAe,EACf,IAAI,EACJ,CAAC,EACD,gBAAgB,EAChB,KAAK,WAAW,EAChB,KAAK,cAAc,GACpB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,cAAc,EACd,KAAK,OAAO,EACZ,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,KAAK,YAAY,EACjB,KAAK,cAAc,GACpB,MAAM,oBAAoB,CAAC;AAI5B,OAAO,EACL,KAAK,MAAM,EACX,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACtB,KAAK,kBAAkB,EACvB,WAAW,EACX,KAAK,EACL,UAAU,EACV,cAAc,EACd,SAAS,EACT,gBAAgB,EAChB,oBAAoB,GACrB,MAAM,4BAA4B,CAAC;AAGpC,OAAO,EACL,QAAQ,EACR,gBAAgB,EAChB,eAAe,EACf,eAAe,EACf,2BAA2B,EAC3B,iBAAiB,EACjB,YAAY,EACZ,qBAAqB,GACtB,MAAM,kCAAkC,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EACL,KAAK,EACL,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACnB,KAAK,aAAa,EAClB,eAAe,EACf,eAAe,EACf,gBAAgB,EAChB,2BAA2B,EAC3B,sBAAsB,EACtB,QAAQ,EACR,QAAQ,EACR,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,GAAG,EACH,KAAK,UAAU,EACf,OAAO,EACP,QAAQ,EACR,KAAK,IAAI,EACT,KAAK,OAAO,EACZ,KAAK,eAAe,EACpB,KAAK,iBAAiB,EACtB,KAAK,QAAQ,EACb,GAAG,EACH,GAAG,EACH,UAAU,EACV,OAAO,EACP,QAAQ,EACR,MAAM,EACN,KAAK,YAAY,EACjB,KAAK,UAAU,EACf,GAAG,EACH,EAAE,EACF,GAAG,EACH,OAAO,EACP,GAAG,EACH,SAAS,EACT,eAAe,EACf,IAAI,EACJ,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,gBAAgB,EAChB,iBAAiB,EACjB,gBAAgB,EAChB,kBAAkB,EAClB,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,qBAAqB,EACrB,KAAK,yBAAyB,EAC9B,KAAK,aAAa,EAClB,KAAK,iBAAiB,EACtB,KAAK,yBAAyB,EAC9B,KAAK,wBAAwB,GAC9B,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,cAAc,EACd,KAAK,OAAO,EACZ,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACtB,KAAK,kBAAkB,EACvB,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,KAAK,WAAW,GACjB,MAAM,oBAAoB,CAAC;AAI5B,OAAO,EACL,KAAK,MAAM,EACX,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACtB,KAAK,kBAAkB,EACvB,KAAK,cAAc,EACnB,KAAK,cAAc,EACnB,KAAK,qBAAqB,EAC1B,WAAW,EACX,KAAK,EACL,UAAU,EACV,KAAK,iBAAiB,EACtB,cAAc,EACd,SAAS,EACT,gBAAgB,EAChB,oBAAoB,GACrB,MAAM,4BAA4B,CAAC;AAGpC,OAAO,EACL,QAAQ,EACR,gBAAgB,EAChB,eAAe,EACf,eAAe,GAChB,MAAM,kCAAkC,CAAC"}

package/dist/types/modeler/big-m.d.ts

@@ -0,0 +1,75 @@
+import { LinExpr } from "./expression.js";
+import { Var } from "./variable.js";
+/**
+ * Options for indicator constraints with Big-M linearization.
+ */
+export interface IndicatorOptions {
+    /**
+     * The binary variable value (0 or 1) that activates the constraint.
+     * Defaults to 1 (i.e. constraint holds when binVar == 1).
+     */
+    activeValue?: 0 | 1;
+    /**
+     * Explicit Big-M scalar value override.
+     * If omitted, WaSHI automatically derives a safe, tight Big-M from the
+     * linear expression terms and finite variable bounds.
+     * If provided, it must be a finite positive number.
+     *
+     * Note: The user is responsible for ensuring that a custom M is sufficiently
+     * large to avoid truncating valid solutions while small enough to maintain
+     * numerical stability.
+     */
+    M?: number;
+    /**
+     * Base name for generated linear constraints.
+     */
+    name?: string;
+}
+/**
+ * Validates a user-supplied Big-M override value.
+ * Must be a finite positive number (> 0).
+ */
+export declare function validateUserBigM(M: number, constraintName: string): void;
+/**
+ * Derives a sufficient, tight Big-M value for a "<=" linear inequality:
+ *   lhs <= rhs  (or terms <= effectiveRhs)
+ *
+ * When the indicator variable is inactive, the relaxed constraint becomes:
+ *   terms <= effectiveRhs + M
+ *
+ * For the constraint to be trivially satisfied over all domain values x in [lb, ub]:
+ *   effectiveRhs + M >= max(terms)  <=>  M >= max(terms) - effectiveRhs
+ *
+ * Therefore, the safe tight non-negative Big-M is:
+ *   M = max(0, max(terms) - effectiveRhs)
+ *
+ * Fails with an actionable error if any variable lacks a required finite bound
+ * or if finite arithmetic overflows.
+ */
+export declare function deriveBigMForLe(lhs: LinExpr, rhs: number, constraintName: string): number;
+/**
+ * Derives a sufficient, tight Big-M value for a ">=" linear inequality:
+ *   lhs >= rhs  (or terms >= effectiveRhs)
+ *
+ * When the indicator variable is inactive, the relaxed constraint becomes:
+ *   terms >= effectiveRhs - M
+ *
+ * For the constraint to be trivially satisfied over all domain values x in [lb, ub]:
+ *   effectiveRhs - M <= min(terms)  <=>  M >= effectiveRhs - min(terms)
+ *
+ * Therefore, the safe tight non-negative Big-M is:
+ *   M = max(0, effectiveRhs - min(terms))
+ *
+ * Fails with an actionable error if any variable lacks a required finite bound
+ * or if finite arithmetic overflows.
+ */
+export declare function deriveBigMForGe(lhs: LinExpr, rhs: number, constraintName: string): number;
+/**
+ * Constructs the linearized LHS and RHS for a single directional indicator constraint
+ * and verifies that all resulting coefficients and shifted RHS values remain finite.
+ */
+export declare function buildIndicatorLinearization(binVar: Var, lhs: LinExpr, sense: "<=" | ">=", rhs: number, activeVal: 0 | 1, M: number, constraintName: string): {
+    lhs: LinExpr;
+    rhs: number;
+};
+//# sourceMappingURL=big-m.d.ts.map

package/dist/types/modeler/big-m.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"big-m.d.ts","sourceRoot":"","sources":["../../../src/modeler/big-m.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAC1C,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AAEpC;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B;;;OAGG;IACH,WAAW,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IAEpB;;;;;;;;;OASG;IACH,CAAC,CAAC,EAAE,MAAM,CAAC;IAEX;;OAEG;IACH,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG,IAAI,CAMxE;AA6CD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,eAAe,CAC7B,GAAG,EAAE,OAAO,EACZ,GAAG,EAAE,MAAM,EACX,cAAc,EAAE,MAAM,GACrB,MAAM,CAyDR;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,eAAe,CAC7B,GAAG,EAAE,OAAO,EACZ,GAAG,EAAE,MAAM,EACX,cAAc,EAAE,MAAM,GACrB,MAAM,CAyDR;AAED;;;GAGG;AACH,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,GAAG,EACX,GAAG,EAAE,OAAO,EACZ,KAAK,EAAE,IAAI,GAAG,IAAI,EAClB,GAAG,EAAE,MAAM,EACX,SAAS,EAAE,CAAC,GAAG,CAAC,EAChB,CAAC,EAAE,MAAM,EACT,cAAc,EAAE,MAAM,GACrB;IAAE,GAAG,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAsF/B"}

package/dist/types/modeler/boolean-expr.d.ts

@@ -1,18 +1,31 @@
-import type { Constraint } from "./constraint.js";
+import { Constraint } from "./constraint.js";
+import type { LinExpr } from "./expression.js";
+import type { QuadExpr } from "./quad-expr.js";
 export type LogicalOpType = "and" | "or" | "not" | "implies" | "xor" | "eq";
 export type LogicElement = BoolExpr | Constraint;
+export type LogicInput = LogicElement | LinExpr | QuadExpr;
 /**
- * Base abstract class for Boolean expressions in SMT / SAT
+ * Base abstract class for propositional / SMT Boolean expressions (`BoolVar` and `BoolOp`).
+ *
+ * **Solver capability note**: Registering `BoolExpr` constraints on a `Model` requires an
+ * SMT-capable solver such as Z3 (`{ solver: "z3" }`); LP/MIP solvers (HiGHS, GLPK) throw an Error.
  */
 export declare abstract class BoolExpr {
-    and(other: LogicElement): BoolOp;
-    or(other: LogicElement): BoolOp;
-    implies(consequent: LogicElement): BoolOp;
-    xor(other: LogicElement): BoolOp;
+    /** Logical conjunction (`this AND other`). Requires a `BoolVar`, `BoolExpr`, or comparison `Constraint`. */
+    and(other: LogicInput): BoolOp;
+    /** Logical disjunction (`this OR other`). Requires a `BoolVar`, `BoolExpr`, or comparison `Constraint`. */
+    or(other: LogicInput): BoolOp;
+    /** Logical implication (`this => consequent`). Requires a `BoolVar`, `BoolExpr`, or comparison `Constraint`. */
+    implies(consequent: LogicInput): BoolOp;
+    /** Logical exclusive-or (`this XOR other`). Requires a `BoolVar`, `BoolExpr`, or comparison `Constraint`. */
+    xor(other: LogicInput): BoolOp;
+    /** Logical negation (`NOT this`). */
     not(): BoolOp;
 }
 /**
- * Boolean variable (propositional variable in SAT / SMT)
+ * Propositional Boolean variable (`true` / `false`) for SAT / SMT modeling.
+ * Created via `m.bool(...)` and solved/checked with an SMT-capable solver (`{ solver: "z3" }`).
+ * For 0-1 arithmetic variables in LP/MIP, use `m.binary(...)` instead.
  */
 export declare class BoolVar extends BoolExpr {
     readonly id: number;
@@ -22,17 +35,93 @@ export declare class BoolVar extends BoolExpr {
     toString(): string;
 }
 /**
- * Compound Boolean operator AST node (And, Or, Not, Implies, Xor)
+ * Compound Boolean operator AST node (`and`, `or`, `not`, `implies`, `xor`).
  */
 export declare class BoolOp extends BoolExpr {
     readonly op: LogicalOpType;
     readonly children: LogicElement[];
-    constructor(op: LogicalOpType, children: LogicElement[]);
+    constructor(op: LogicalOpType, children: LogicInput[]);
     toString(): string;
 }
-export declare function and(...exprs: LogicElement[]): BoolOp;
-export declare function or(...exprs: LogicElement[]): BoolOp;
-export declare function not(expr: LogicElement): BoolOp;
-export declare function implies(antecedent: LogicElement, consequent: LogicElement): BoolOp;
-export declare function xor(...exprs: LogicElement[]): BoolOp;
+/**
+ * Logical conjunction (`e1 AND e2 AND ...`) over `BoolVar`, `BoolExpr`, or linear comparison `Constraint`s.
+ *
+ * **Solver capability note**: Logical constraints require an SMT-capable solver such as Z3
+ * (`new Model("...", { solver: "z3" })` after `import "@ohtaman/washi/solvers/z3"`).
+ * LP/MIP solvers (HiGHS, GLPK) throw an Error if logical constraints are present.
+ * Passing an unconstrained arithmetic expression (`LinExpr` / `QuadExpr`) throws an Error.
+ *
+ * @example
+ * ```ts
+ * const m = new Model("AndExample", { solver: "z3" });
+ * const a = m.bool("a");
+ * const x = m.integer("x", { lb: 0, ub: 20 });
+ * m.constraint(and(a, expr`${x} >= 10`), "both_active");
+ * ```
+ */
+export declare function and(...exprs: LogicInput[]): BoolOp;
+/**
+ * Logical disjunction (`e1 OR e2 OR ...`) over `BoolVar`, `BoolExpr`, or linear comparison `Constraint`s.
+ *
+ * **Solver capability note**: Logical constraints require an SMT-capable solver such as Z3
+ * (`new Model("...", { solver: "z3" })` after `import "@ohtaman/washi/solvers/z3"`).
+ * LP/MIP solvers (HiGHS, GLPK) throw an Error if logical constraints are present.
+ * Passing an unconstrained arithmetic expression (`LinExpr` / `QuadExpr`) throws an Error.
+ *
+ * @example
+ * ```ts
+ * const m = new Model("OrExample", { solver: "z3" });
+ * const x = m.integer("x", { lb: 0, ub: 20 });
+ * m.constraint(or(expr`${x} <= 5`, expr`${x} >= 15`), "disjoint_range");
+ * ```
+ */
+export declare function or(...exprs: LogicInput[]): BoolOp;
+/**
+ * Logical negation (`NOT e`) of a `BoolVar`, `BoolExpr`, or linear comparison `Constraint`.
+ *
+ * **Solver capability note**: Logical constraints require an SMT-capable solver such as Z3
+ * (`new Model("...", { solver: "z3" })` after `import "@ohtaman/washi/solvers/z3"`).
+ * LP/MIP solvers (HiGHS, GLPK) throw an Error if logical constraints are present.
+ *
+ * @example
+ * ```ts
+ * const m = new Model("NotExample", { solver: "z3" });
+ * const blocked = m.bool("blocked");
+ * m.constraint(not(blocked), "must_not_be_blocked");
+ * ```
+ */
+export declare function not(expr: LogicInput): BoolOp;
+/**
+ * Logical implication (`antecedent => consequent`) over `BoolVar`, `BoolExpr`, or linear comparison `Constraint`s.
+ *
+ * **Solver capability note**: Logical constraints require an SMT-capable solver such as Z3
+ * (`new Model("...", { solver: "z3" })` after `import "@ohtaman/washi/solvers/z3"`).
+ * LP/MIP solvers (HiGHS, GLPK) throw an Error if logical constraints are present
+ * (for LP/MIP 0-1 Big-M indicator constraints, use `m.indicator(binVar, constraint)` instead).
+ *
+ * @example
+ * ```ts
+ * const m = new Model("ImpliesExample", { solver: "z3" });
+ * const vip = m.bool("vip");
+ * const discount = m.integer("discount", { lb: 0, ub: 50 });
+ * m.constraint(implies(vip, expr`${discount} >= 20`), "vip_min_discount");
+ * ```
+ */
+export declare function implies(antecedent: LogicInput, consequent: LogicInput): BoolOp;
+/**
+ * Logical exclusive-or (`e1 XOR e2 ...`) over `BoolVar`, `BoolExpr`, or linear comparison `Constraint`s.
+ *
+ * **Solver capability note**: Logical constraints require an SMT-capable solver such as Z3
+ * (`new Model("...", { solver: "z3" })` after `import "@ohtaman/washi/solvers/z3"`).
+ * LP/MIP solvers (HiGHS, GLPK) throw an Error if logical constraints are present.
+ *
+ * @example
+ * ```ts
+ * const m = new Model("XorExample", { solver: "z3" });
+ * const shiftA = m.bool("shiftA");
+ * const shiftB = m.bool("shiftB");
+ * m.constraint(xor(shiftA, shiftB), "exactly_one_shift");
+ * ```
+ */
+export declare function xor(...exprs: LogicInput[]): BoolOp;
 //# sourceMappingURL=boolean-expr.d.ts.map

package/dist/types/modeler/boolean-expr.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"boolean-expr.d.ts","sourceRoot":"","sources":["../../../src/modeler/boolean-expr.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAIlD,MAAM,MAAM,aAAa,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,SAAS,GAAG,KAAK,GAAG,IAAI,CAAC;AAE5E,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,UAAU,CAAC;AAEjD;;GAEG;AACH,8BAAsB,QAAQ;IACrB,GAAG,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAEtC;IAEM,EAAE,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAErC;IAEM,OAAO,CAAC,UAAU,EAAE,YAAY,GAAG,MAAM,CAE/C;IAEM,GAAG,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAEtC;IAEM,GAAG,IAAI,MAAM,CAEnB;CACF;AAED;;GAEG;AACH,qBAAa,OAAQ,SAAQ,QAAQ;IACnC,SAAgB,EAAE,EAAE,MAAM,CAAC;IAC3B,SAAgB,IAAI,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,OAAO,GAAG,IAAI,CAAQ;IAEpC,YAAY,IAAI,CAAC,EAAE,MAAM,EAIxB;IAED,QAAQ,IAAI,MAAM,CAEjB;CACF;AAED;;GAEG;AACH,qBAAa,MAAO,SAAQ,QAAQ;IAClC,SAAgB,EAAE,EAAE,aAAa,CAAC;IAClC,SAAgB,QAAQ,EAAE,YAAY,EAAE,CAAC;IAEzC,YAAY,EAAE,EAAE,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,EAItD;IAED,QAAQ,IAAI,MAAM,CAKjB;CACF;AAGD,wBAAgB,GAAG,CAAC,GAAG,KAAK,EAAE,YAAY,EAAE,GAAG,MAAM,CAGpD;AAED,wBAAgB,EAAE,CAAC,GAAG,KAAK,EAAE,YAAY,EAAE,GAAG,MAAM,CAGnD;AAED,wBAAgB,GAAG,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,CAE9C;AAED,wBAAgB,OAAO,CAAC,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,YAAY,GAAG,MAAM,CAElF;AAED,wBAAgB,GAAG,CAAC,GAAG,KAAK,EAAE,YAAY,EAAE,GAAG,MAAM,CAGpD"}
+{"version":3,"file":"boolean-expr.d.ts","sourceRoot":"","sources":["../../../src/modeler/boolean-expr.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAI/C,MAAM,MAAM,aAAa,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,SAAS,GAAG,KAAK,GAAG,IAAI,CAAC;AAE5E,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,UAAU,CAAC;AAEjD,MAAM,MAAM,UAAU,GAAG,YAAY,GAAG,OAAO,GAAG,QAAQ,CAAC;AAqB3D;;;;;GAKG;AACH,8BAAsB,QAAQ;IAC5B,4GAA4G;IACrG,GAAG,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAEpC;IAED,2GAA2G;IACpG,EAAE,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAEnC;IAED,gHAAgH;IACzG,OAAO,CAAC,UAAU,EAAE,UAAU,GAAG,MAAM,CAE7C;IAED,6GAA6G;IACtG,GAAG,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAEpC;IAED,qCAAqC;IAC9B,GAAG,IAAI,MAAM,CAEnB;CACF;AAED;;;;GAIG;AACH,qBAAa,OAAQ,SAAQ,QAAQ;IACnC,SAAgB,EAAE,EAAE,MAAM,CAAC;IAC3B,SAAgB,IAAI,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,OAAO,GAAG,IAAI,CAAQ;IAEpC,YAAY,IAAI,CAAC,EAAE,MAAM,EAIxB;IAED,QAAQ,IAAI,MAAM,CAEjB;CACF;AAED;;GAEG;AACH,qBAAa,MAAO,SAAQ,QAAQ;IAClC,SAAgB,EAAE,EAAE,aAAa,CAAC;IAClC,SAAgB,QAAQ,EAAE,YAAY,EAAE,CAAC;IAEzC,YAAY,EAAE,EAAE,aAAa,EAAE,QAAQ,EAAE,UAAU,EAAE,EAIpD;IAED,QAAQ,IAAI,MAAM,CAKjB;CACF;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,GAAG,CAAC,GAAG,KAAK,EAAE,UAAU,EAAE,GAAG,MAAM,CAGlD;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,EAAE,CAAC,GAAG,KAAK,EAAE,UAAU,EAAE,GAAG,MAAM,CAGjD;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,GAAG,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAE5C;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,OAAO,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,GAAG,MAAM,CAE9E;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,GAAG,CAAC,GAAG,KAAK,EAAE,UAAU,EAAE,GAAG,MAAM,CAGlD"}

package/dist/types/modeler/constraint.d.ts

@@ -1,25 +1,52 @@
 import type { ComparisonSense } from "./types.js";
 import type { LinExpr } from "./expression.js";
-import { BoolOp, type LogicElement } from "./boolean-expr.js";
+import { BoolOp, type LogicInput } from "./boolean-expr.js";
 /**
  * Represents a linear constraint: lhs (terms) <=, >=, or == rhs (constant)
  */
 export declare class Constraint {
+    readonly kind: "constraint";
     readonly id: number;
-    lhs: LinExpr;
-    sense: ComparisonSense;
-    rhs: number;
-    name: string;
+    private _lhs;
+    private _sense;
+    private _rhs;
+    private _name;
+    hasExplicitName: boolean;
+    ownerModel: {
+        notifyMutation?: () => void;
+    } | null;
     /** Slack value after solve */
     slack: number | null;
     /** Dual value (shadow price) after solve */
     dual: number | null;
     constructor(lhs: LinExpr, sense: ComparisonSense, rhs: number, name?: string);
-    and(other: LogicElement): BoolOp;
-    or(other: LogicElement): BoolOp;
-    implies(consequent: LogicElement): BoolOp;
-    xor(other: LogicElement): BoolOp;
+    get lhs(): LinExpr;
+    set lhs(value: LinExpr);
+    get sense(): ComparisonSense;
+    set sense(value: ComparisonSense);
+    get rhs(): number;
+    set rhs(value: number);
+    get name(): string;
+    set name(value: string);
+    /** @internal Assigns a model-scoped name and explicit flag without triggering setter mutation notifications */
+    _assignModelName(name: string, hasExplicitName: boolean): void;
+    and(other: LogicInput): BoolOp;
+    or(other: LogicInput): BoolOp;
+    implies(consequent: LogicInput): BoolOp;
+    xor(other: LogicInput): BoolOp;
     not(): BoolOp;
+    add(_other: unknown): never;
+    sub(_other: unknown): never;
+    mul(_other: unknown): never;
+    div(_other: unknown): never;
+    neg(): never;
+    le(_rhs: unknown, _name?: string): never;
+    ge(_rhs: unknown, _name?: string): never;
+    eq(_rhs: unknown, _name?: string): never;
+    get value(): never;
+    get constant(): never;
+    clone(): Constraint;
     toString(): string;
 }
+export declare function isConstraint(val: unknown): val is Constraint;
 //# sourceMappingURL=constraint.d.ts.map

package/dist/types/modeler/constraint.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"constraint.d.ts","sourceRoot":"","sources":["../../../src/modeler/constraint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,MAAM,EAAE,KAAK,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAI9D;;GAEG;AACH,qBAAa,UAAU;IACrB,SAAgB,EAAE,EAAE,MAAM,CAAC;IACpB,GAAG,EAAE,OAAO,CAAC;IACb,KAAK,EAAE,eAAe,CAAC;IACvB,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IAEpB,8BAA8B;IACvB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAQ;IACnC,4CAA4C;IACrC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAQ;IAElC,YACE,GAAG,EAAE,OAAO,EACZ,KAAK,EAAE,eAAe,EACtB,GAAG,EAAE,MAAM,EACX,IAAI,CAAC,EAAE,MAAM,EAOd;IAGM,GAAG,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAEtC;IAEM,EAAE,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAErC;IAEM,OAAO,CAAC,UAAU,EAAE,YAAY,GAAG,MAAM,CAE/C;IAEM,GAAG,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAEtC;IAEM,GAAG,IAAI,MAAM,CAEnB;IAED,QAAQ,IAAI,MAAM,CAGjB;CACF"}
+{"version":3,"file":"constraint.d.ts","sourceRoot":"","sources":["../../../src/modeler/constraint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,MAAM,EAAE,KAAK,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAI5D;;GAEG;AACH,qBAAa,UAAU;IACrB,SAAgB,IAAI,EAAG,YAAY,CAAU;IAC7C,SAAgB,EAAE,EAAE,MAAM,CAAC;IAC3B,OAAO,CAAC,IAAI,CAAU;IACtB,OAAO,CAAC,MAAM,CAAkB;IAChC,OAAO,CAAC,IAAI,CAAS;IACrB,OAAO,CAAC,KAAK,CAAS;IACf,eAAe,EAAE,OAAO,CAAC;IACzB,UAAU,EAAE;QAAE,cAAc,CAAC,EAAE,MAAM,IAAI,CAAA;KAAE,GAAG,IAAI,CAAQ;IACjE,8BAA8B;IACvB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAQ;IACnC,4CAA4C;IACrC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAQ;IAElC,YACE,GAAG,EAAE,OAAO,EACZ,KAAK,EAAE,eAAe,EACtB,GAAG,EAAE,MAAM,EACX,IAAI,CAAC,EAAE,MAAM,EAcd;IAED,IAAI,GAAG,IAAI,OAAO,CAEjB;IAED,IAAI,GAAG,CAAC,KAAK,EAAE,OAAO,EAKrB;IAED,IAAI,KAAK,IAAI,eAAe,CAE3B;IAED,IAAI,KAAK,CAAC,KAAK,EAAE,eAAe,EAK/B;IAED,IAAI,GAAG,IAAI,MAAM,CAEhB;IAED,IAAI,GAAG,CAAC,KAAK,EAAE,MAAM,EAKpB;IAED,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,IAAI,IAAI,CAAC,KAAK,EAAE,MAAM,EAMrB;IAED,+GAA+G;IAC/G,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,GAAG,IAAI,CAG7D;IAGM,GAAG,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAEpC;IAEM,EAAE,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAEnC;IAEM,OAAO,CAAC,UAAU,EAAE,UAAU,GAAG,MAAM,CAE7C;IAEM,GAAG,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAEpC;IAEM,GAAG,IAAI,MAAM,CAEnB;IAGM,GAAG,CAAC,MAAM,EAAE,OAAO,GAAG,KAAK,CAIjC;IAEM,GAAG,CAAC,MAAM,EAAE,OAAO,GAAG,KAAK,CAIjC;IAEM,GAAG,CAAC,MAAM,EAAE,OAAO,GAAG,KAAK,CAIjC;IAEM,GAAG,CAAC,MAAM,EAAE,OAAO,GAAG,KAAK,CAIjC;IAEM,GAAG,IAAI,KAAK,CAIlB;IAEM,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,KAAK,CAI9C;IAEM,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,KAAK,CAI9C;IAEM,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,KAAK,CAI9C;IAED,IAAW,KAAK,IAAI,KAAK,CAIxB;IAED,IAAW,QAAQ,IAAI,KAAK,CAI3B;IAEM,KAAK,IAAI,UAAU,CAOzB;IAED,QAAQ,IAAI,MAAM,CAGjB;CACF;AAED,wBAAgB,YAAY,CAAC,GAAG,EAAE,OAAO,GAAG,GAAG,IAAI,UAAU,CAS5D"}

package/dist/types/modeler/expression.d.ts

@@ -5,6 +5,7 @@ import { QuadExpr } from "./quad-expr.js";
  * Represents a linear expression: c0 + c1*x1 + c2*x2 + ...
  */
 export declare class LinExpr {
+    readonly kind: "linear";
     terms: Map<Var, number>;
     constant: number;
     constructor(terms?: Map<Var, number>, constant?: number);
@@ -17,13 +18,13 @@ export declare class LinExpr {
      */
     add(other: QuadExpr): QuadExpr;
     add(other: LinExpr | Var | number): LinExpr;
-    add(other: QuadExpr | LinExpr | Var | number): LinExpr | QuadExpr;
+    add(other: QuadExpr | LinExpr | Var | number | Constraint): LinExpr | QuadExpr;
     /**
      * Subtract another expression, variable, or number
      */
     sub(other: QuadExpr): QuadExpr;
     sub(other: LinExpr | Var | number): LinExpr;
-    sub(other: QuadExpr | LinExpr | Var | number): LinExpr | QuadExpr;
+    sub(other: QuadExpr | LinExpr | Var | number | Constraint): LinExpr | QuadExpr;
     /**
      * Multiply this expression by a scalar coefficient, variable, or expression
      */
@@ -31,11 +32,11 @@ export declare class LinExpr {
     mul(v: Var): QuadExpr;
     mul(other: LinExpr): LinExpr | QuadExpr;
     mul(other: QuadExpr): QuadExpr;
-    mul(operand: number | Var | LinExpr | QuadExpr): LinExpr | QuadExpr;
+    mul(operand: number | Var | LinExpr | QuadExpr | Constraint): LinExpr | QuadExpr;
     /**
-     * Divide this expression by a non-zero scalar
+     * Divide this expression by a non-zero scalar or constant-only expression
      */
-    div(scalar: number): LinExpr;
+    div(divisor: number | LinExpr | QuadExpr | Constraint): LinExpr;
     /**
      * Negate this expression
      */
@@ -44,26 +45,24 @@ export declare class LinExpr {
      * Compute the numerical value of this expression using current variable values
      */
     get value(): number | null;
-    /**
-     * Helper value accessor for expression
-     */
-    getValue(): number | null;
     /**
      * Create constraint: this <= rhs
      */
-    le(rhs: number | Var | LinExpr, name?: string): Constraint;
-    lessThanOrEqual(rhs: number | Var | LinExpr, name?: string): Constraint;
+    le(rhs: number | Var | LinExpr | QuadExpr | Constraint, name?: string): Constraint;
     /**
      * Create constraint: this >= rhs
      */
-    ge(rhs: number | Var | LinExpr, name?: string): Constraint;
-    greaterThanOrEqual(rhs: number | Var | LinExpr, name?: string): Constraint;
+    ge(rhs: number | Var | LinExpr | QuadExpr | Constraint, name?: string): Constraint;
     /**
      * Create constraint: this == rhs
      */
-    eq(rhs: number | Var | LinExpr, name?: string): Constraint;
-    equalTo(rhs: number | Var | LinExpr, name?: string): Constraint;
+    eq(rhs: number | Var | LinExpr | QuadExpr | Constraint, name?: string): Constraint;
     private toConstraint;
+    and(_other: unknown): never;
+    or(_other: unknown): never;
+    implies(_consequent: unknown): never;
+    xor(_other: unknown): never;
+    not(): never;
     toString(): string;
 }
 /**
@@ -71,20 +70,106 @@ export declare class LinExpr {
  */
 export type Expr = LinExpr | QuadExpr;
 /**
- * Sum an array, iterable, or count-range of variables, expressions, or numbers.
- * Supports:
- * - sum([x, y, z])
- * - sum(items, item => expr)
- * - sum(10, i => expr) (range 0..9)
+ * Sum an `Iterable` of `Var` / `LinExpr` / `number` items, an `Iterable` with a mapping function,
+ * or a numeric count `n` with an index mapper `(0 .. n - 1)` into a single `LinExpr`.
+ *
+ * **Formulation notes**:
+ * - Produces a linear expression (`LinExpr`).
+ * - Passing comparison `Constraint`s (`<=`, `>=`, `==`) or non-linear `QuadExpr` terms throws an Error
+ *   (quadratic terms are supported in objectives only via `expr` or `.mul()`).
+ *
+ * @example
+ * ```ts
+ * const m = new Model("SumExample");
+ * const x = m.continuous(3, { lb: 0, prefix: "x" });
+ * const byItem = m.integer(["desk", "chair"] as const, { lb: 0 });
+ *
+ * // Sum an array or iterable directly
+ * m.constraint(expr`${sum(x)} <= 100`, "total_x");
+ * m.constraint(expr`${sum(Object.values(byItem))} <= 50`, "total_items");
+ *
+ * // Sum with a mapper or over a count range (0..2)
+ * const weighted = sum(3, (i) => expr`${i + 1} * ${x[i]}`);
+ * m.objective(maximize(weighted));
+ * ```
  */
-export declare function sum(count: number, mapFn: (index: number) => LinExpr | Var | number): LinExpr;
-export declare function sum<T = any>(items: Iterable<T>, mapFn?: (item: T, index: number) => LinExpr | Var | number): LinExpr;
+export declare function sum(count: number, mapFn: (index: number) => LinExpr | QuadExpr | Constraint | Var | number): LinExpr;
+export declare function sum<T = any>(items: Iterable<T>, mapFn?: (item: T, index: number) => LinExpr | QuadExpr | Constraint | Var | number): LinExpr;
+export type DotTerm = Var | LinExpr;
+export type DotVarContainer<R extends string | number = string | number, C extends string | number = string | number> = ReadonlyArray<DotTerm> | {
+    readonly [K in R]: DotTerm;
+} | ReadonlyArray<ReadonlyArray<DotTerm>> | ReadonlyArray<{
+    readonly [K in C]: DotTerm;
+}> | {
+    readonly [K in R]: ReadonlyArray<DotTerm>;
+} | {
+    readonly [K in R]: {
+        readonly [L in C]: DotTerm;
+    };
+};
+export type DotCoeffContainer<R extends string | number = string | number, C extends string | number = string | number> = ReadonlyArray<number> | {
+    readonly [K in R]: number;
+} | ReadonlyArray<ReadonlyArray<number>> | ReadonlyArray<{
+    readonly [K in C]: number;
+}> | {
+    readonly [K in R]: ReadonlyArray<number>;
+} | {
+    readonly [K in R]: {
+        readonly [L in C]: number;
+    };
+};
+type NoSymbolKeys<T> = {
+    readonly [Symbol.iterator]?: never;
+} & ({
+    readonly [s: symbol]: never;
+} | {
+    readonly [S in Extract<keyof T, symbol>]?: never;
+});
+type DotRecordLeafMap<T, Leaf> = object & {
+    readonly [K in keyof T]: Leaf;
+} & NoSymbolKeys<T>;
+type DotRecordShape<T, Leaf, Inner = never> = object & {
+    readonly [K in keyof T]: Leaf | ReadonlyArray<Leaf> | DotRecordLeafMap<T[K], Leaf> | DotRecordLeafMap<Inner, Leaf>;
+} & NoSymbolKeys<T>;
+type DotContainerArg<T, Leaf, Inner = never> = ReadonlyArray<Leaf> | ReadonlyArray<ReadonlyArray<Leaf>> | ReadonlyArray<DotRecordLeafMap<T[number & keyof T], Leaf>> | DotRecordShape<T, Leaf, Inner>;
 /**
- * Compute the vector dot product (linear combination) of coefficients and variables.
- * Works with 1D/2D arrays and records in either order:
- * - dot(costs, vars)
- * - dot(vars, costs)
- * - dot(costMatrix, flowMatrix)
+ * Compute the inner product (linear combination `LinExpr`) of numeric coefficients and
+ * `Var` / `LinExpr` containers across 1D arrays, 2D matrices (`number[][]` / `Var[][]`),
+ * plain records (`Record<K, ...>`), and mixed Array/Record containers in either operand order:
+ * - `dot(coeffs, vars)` or `dot(vars, coeffs)`
+ * - `dot(costMatrix, flowMatrix)`
+ *
+ * **Formulation notes**:
+ * - Produces a linear expression (`LinExpr`) and validates matching array lengths / record keys and finite coefficients.
+ * - Does not accept arbitrary `Iterable`s (use `sum()` for general iterables) or non-linear `QuadExpr` / `Constraint` operands
+ *   (quadratic variable-by-variable terms are supported in objectives only via `expr` or `.mul()`).
+ *
+ * @example
+ * ```ts
+ * const m = new Model("DotExample");
+ * const vec = m.continuous(3, { lb: 0, prefix: "v" });
+ * const qty = m.integer(["desk", "chair"] as const, { lb: 0 });
+ * const grid = m.binary(2, 2, { prefix: "g" });
+ *
+ * // 1D array, Record, and 2D matrix inner products
+ * m.constraint(expr`${dot([2, 4, 6], vec)} <= 60`, "vec_limit");
+ * m.constraint(expr`${dot({ desk: 1, chair: 2 }, qty)} <= 40`, "wood_cap");
+ * m.objective(
+ *   maximize(
+ *     expr`${dot({ desk: 30, chair: 50 }, qty)} - ${dot(
+ *       [
+ *         [5, 8],
+ *         [3, 6],
+ *       ],
+ *       grid
+ *     )}`
+ *   )
+ * );
+ * ```
  */
-export declare function dot(a: Record<string, any> | any[], b: Record<string, any> | any[]): LinExpr;
+export declare function dot<C = DotCoeffContainer, V = DotVarContainer, CI = never, VI = never>(coeffs: C & (Record<any, CI> | unknown) & DotContainerArg<C, number, CI>, vars: V & (Record<any, VI> | unknown) & DotContainerArg<V, DotTerm, VI>): LinExpr;
+export declare function dot<V = DotVarContainer, C = DotCoeffContainer, VI = never, CI = never>(vars: V & (Record<any, VI> | unknown) & DotContainerArg<V, DotTerm, VI>, coeffs: C & (Record<any, CI> | unknown) & DotContainerArg<C, number, CI>): LinExpr;
+export declare function dot(coeffs: DotCoeffContainer<any, any>, vars: DotVarContainer<any, any>): LinExpr;
+export declare function dot(vars: DotVarContainer<any, any>, coeffs: DotCoeffContainer<any, any>): LinExpr;
+export {};
 //# sourceMappingURL=expression.d.ts.map

package/dist/types/modeler/expression.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"expression.d.ts","sourceRoot":"","sources":["../../../src/modeler/expression.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C;;GAEG;AACH,qBAAa,OAAO;IACX,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IAExB,YAAY,KAAK,GAAE,GAAG,CAAC,GAAG,EAAE,MAAM,CAAa,EAAE,QAAQ,GAAE,MAAU,EAGpE;IAED;;OAEG;IACH,KAAK,IAAI,OAAO,CAEf;IAED;;OAEG;IACH,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAC/B,GAAG,CAAC,KAAK,EAAE,OAAO,GAAG,GAAG,GAAG,MAAM,GAAG,OAAO,CAAC;IAC5C,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,OAAO,GAAG,GAAG,GAAG,MAAM,GAAG,OAAO,GAAG,QAAQ,CAAC;IAiClE;;OAEG;IACH,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAC/B,GAAG,CAAC,KAAK,EAAE,OAAO,GAAG,GAAG,GAAG,MAAM,GAAG,OAAO,CAAC;IAC5C,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,OAAO,GAAG,GAAG,GAAG,MAAM,GAAG,OAAO,GAAG,QAAQ,CAAC;IAclE;;OAEG;IACH,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAC7B,GAAG,CAAC,CAAC,EAAE,GAAG,GAAG,QAAQ,CAAC;IACtB,GAAG,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,GAAG,QAAQ,CAAC;IACxC,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAC/B,GAAG,CAAC,OAAO,EAAE,MAAM,GAAG,GAAG,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,GAAG,QAAQ,CAAC;IA6EpE;;OAEG;IACH,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAK3B;IAED;;OAEG;IACH,GAAG,IAAI,OAAO,CAEb;IAED;;OAEG;IACH,IAAI,KAAK,IAAI,MAAM,GAAG,IAAI,CASzB;IAED;;OAEG;IACH,QAAQ,IAAI,MAAM,GAAG,IAAI,CAExB;IAED;;OAEG;IACH,EAAE,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,GAAG,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAEzD;IACD,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,GAAG,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAEtE;IAED;;OAEG;IACH,EAAE,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,GAAG,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAEzD;IACD,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,GAAG,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAEzE;IAED;;OAEG;IACH,EAAE,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,GAAG,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAEzD;IACD,OAAO,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,GAAG,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAE9D;IAED,OAAO,CAAC,YAAY;IAuBpB,QAAQ,IAAI,MAAM,CAkBjB;CACF;AAED;;GAEG;AACH,MAAM,MAAM,IAAI,GAAG,OAAO,GAAG,QAAQ,CAAC;AAEtC;;;;;;GAMG;AACH,wBAAgB,GAAG,CACjB,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,GAAG,GAAG,GAAG,MAAM,GAC/C,OAAO,CAAC;AACX,wBAAgB,GAAG,CAAC,CAAC,GAAG,GAAG,EACzB,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAClB,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,GAAG,GAAG,GAAG,MAAM,GACzD,OAAO,CAAC;AAkDX;;;;;;GAMG;AACH,wBAAgB,GAAG,CACjB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,GAAG,EAAE,EAC9B,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,GAAG,EAAE,GAC7B,OAAO,CAqJT"}
+{"version":3,"file":"expression.d.ts","sourceRoot":"","sources":["../../../src/modeler/expression.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,EAAE,UAAU,EAAgB,MAAM,iBAAiB,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C;;GAEG;AACH,qBAAa,OAAO;IAClB,SAAgB,IAAI,EAAG,QAAQ,CAAU;IAClC,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IAExB,YAAY,KAAK,GAAE,GAAG,CAAC,GAAG,EAAE,MAAM,CAAa,EAAE,QAAQ,GAAE,MAAU,EAGpE;IAED;;OAEG;IACH,KAAK,IAAI,OAAO,CAEf;IAED;;OAEG;IACH,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAC/B,GAAG,CAAC,KAAK,EAAE,OAAO,GAAG,GAAG,GAAG,MAAM,GAAG,OAAO,CAAC;IAC5C,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,OAAO,GAAG,GAAG,GAAG,MAAM,GAAG,UAAU,GAAG,OAAO,GAAG,QAAQ,CAAC;IAsC/E;;OAEG;IACH,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAC/B,GAAG,CAAC,KAAK,EAAE,OAAO,GAAG,GAAG,GAAG,MAAM,GAAG,OAAO,CAAC;IAC5C,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,OAAO,GAAG,GAAG,GAAG,MAAM,GAAG,UAAU,GAAG,OAAO,GAAG,QAAQ,CAAC;IAgB/E;;OAEG;IACH,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAC7B,GAAG,CAAC,CAAC,EAAE,GAAG,GAAG,QAAQ,CAAC;IACtB,GAAG,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,GAAG,QAAQ,CAAC;IACxC,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAC/B,GAAG,CAAC,OAAO,EAAE,MAAM,GAAG,GAAG,GAAG,OAAO,GAAG,QAAQ,GAAG,UAAU,GAAG,OAAO,GAAG,QAAQ,CAAC;IA6DjF;;OAEG;IACH,GAAG,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,GAAG,QAAQ,GAAG,UAAU,GAAG,OAAO,CAG9D;IAED;;OAEG;IACH,GAAG,IAAI,OAAO,CAEb;IAED;;OAEG;IACH,IAAI,KAAK,IAAI,MAAM,GAAG,IAAI,CASzB;IAED;;OAEG;IACH,EAAE,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,GAAG,OAAO,GAAG,QAAQ,GAAG,UAAU,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAEjF;IAED;;OAEG;IACH,EAAE,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,GAAG,OAAO,GAAG,QAAQ,GAAG,UAAU,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAEjF;IAED;;OAEG;IACH,EAAE,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,GAAG,OAAO,GAAG,QAAQ,GAAG,UAAU,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAEjF;IAED,OAAO,CAAC,YAAY;IA+Cb,GAAG,CAAC,MAAM,EAAE,OAAO,GAAG,KAAK,CAIjC;IAEM,EAAE,CAAC,MAAM,EAAE,OAAO,GAAG,KAAK,CAIhC;IAEM,OAAO,CAAC,WAAW,EAAE,OAAO,GAAG,KAAK,CAI1C;IAEM,GAAG,CAAC,MAAM,EAAE,OAAO,GAAG,KAAK,CAIjC;IAEM,GAAG,IAAI,KAAK,CAIlB;IAED,QAAQ,IAAI,MAAM,CAkBjB;CACF;AAED;;GAEG;AACH,MAAM,MAAM,IAAI,GAAG,OAAO,GAAG,QAAQ,CAAC;AAEtC;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAgB,GAAG,CACjB,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,GAAG,QAAQ,GAAG,UAAU,GAAG,GAAG,GAAG,MAAM,GACvE,OAAO,CAAC;AACX,wBAAgB,GAAG,CAAC,CAAC,GAAG,GAAG,EACzB,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAClB,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,GAAG,QAAQ,GAAG,UAAU,GAAG,GAAG,GAAG,MAAM,GACjF,OAAO,CAAC;AA0EX,MAAM,MAAM,OAAO,GAAG,GAAG,GAAG,OAAO,CAAC;AAEpC,MAAM,MAAM,eAAe,CACzB,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,EAC3C,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,IAEzC,aAAa,CAAC,OAAO,CAAC,GACtB;IAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,OAAO;CAAE,GAC9B,aAAa,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,GACrC,aAAa,CAAC;IAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,OAAO;CAAE,CAAC,GAC7C;IAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,OAAO,CAAC;CAAE,GAC7C;IAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG;QAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,OAAO;KAAE;CAAE,CAAC;AAE1D,MAAM,MAAM,iBAAiB,CAC3B,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,EAC3C,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,IAEzC,aAAa,CAAC,MAAM,CAAC,GACrB;IAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,MAAM;CAAE,GAC7B,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,GACpC,aAAa,CAAC;IAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,MAAM;CAAE,CAAC,GAC5C;IAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC;CAAE,GAC5C;IAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG;QAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,MAAM;KAAE;CAAE,CAAC;AAEzD,KAAK,YAAY,CAAC,CAAC,IAAI;IACrB,QAAQ,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC;CACpC,GAAG,CACA;IAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,GAAG,KAAK,CAAA;CAAE,GAC/B;IAAE,QAAQ,EAAE,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK;CAAE,CACvD,CAAC;AAEF,KAAK,gBAAgB,CAAC,CAAC,EAAE,IAAI,IAAI,MAAM,GAAG;IACxC,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,IAAI;CAC9B,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;AAEpB,KAAK,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,GAAG,KAAK,IAAI,MAAM,GAAG;IACrD,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAClB,IAAI,GACJ,aAAa,CAAC,IAAI,CAAC,GACnB,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAC5B,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC;CAClC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;AAEpB,KAAK,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,GAAG,KAAK,IACvC,aAAa,CAAC,IAAI,CAAC,GACnB,aAAa,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,GAClC,aAAa,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GAC1D,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAEnC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,wBAAgB,GAAG,CACjB,CAAC,GAAG,iBAAiB,EACrB,CAAC,GAAG,eAAe,EACnB,EAAE,GAAG,KAAK,EACV,EAAE,GAAG,KAAK,EAEV,MAAM,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,EACxE,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,GACtE,OAAO,CAAC;AACX,wBAAgB,GAAG,CACjB,CAAC,GAAG,eAAe,EACnB,CAAC,GAAG,iBAAiB,EACrB,EAAE,GAAG,KAAK,EACV,EAAE,GAAG,KAAK,EAEV,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,EACvE,MAAM,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,GACvE,OAAO,CAAC;AACX,wBAAgB,GAAG,CACjB,MAAM,EAAE,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,EACnC,IAAI,EAAE,eAAe,CAAC,GAAG,EAAE,GAAG,CAAC,GAC9B,OAAO,CAAC;AACX,wBAAgB,GAAG,CACjB,IAAI,EAAE,eAAe,CAAC,GAAG,EAAE,GAAG,CAAC,EAC/B,MAAM,EAAE,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,GAClC,OAAO,CAAC"}

package/dist/types/modeler/index.d.ts

@@ -1,12 +1,16 @@
-export { Model, type ModelOptions, type BoundsOptions, type IndicatorOptions } from "./model.js";
+export { Model, type ModelOptions, type BoundsOptions, type BinaryOptions, type IndicatorOptions, type ConstraintItem, type KeyCollection, } from "./model.js";
+export { deriveBigMForLe, deriveBigMForGe, validateUserBigM, buildIndicatorLinearization } from "./big-m.js";
+export { validateModelIntegrity } from "./validation.js";
+export { maximize, minimize, type ObjectiveExpr, type ObjectiveSpec, } from "./objective.js";
 export { Var, type VarOptions } from "./variable.js";
-export { LinExpr, type Expr, sum, dot } from "./expression.js";
+export { LinExpr, type Expr, type DotTerm, type DotVarContainer, type DotCoeffContainer, sum, dot, } from "./expression.js";
 export { QuadExpr, type QuadTerm } from "./quad-expr.js";
 export { Constraint } from "./constraint.js";
-export { BoolVar, BoolExpr, BoolOp, and, or, not, implies, xor, } from "./boolean-expr.js";
-export { parseExpr, parseConstraint, expr, c } from "./parser.js";
-export { generateLpString, type LpModelData, type LpExportResult } from "./lp-writer.js";
-export type { VarType, OptimizationSense, ComparisonSense, SolverStatus, SolveOptions, SolverSolution, } from "./types.js";
+export { BoolVar, BoolExpr, BoolOp, type LogicElement, type LogicInput, and, or, not, implies, xor, } from "./boolean-expr.js";
+export { parseExpr, parseConstraint, expr, type ParsedExpr, type ExprResolver, } from "./parser.js";
+export { generateLpString, buildLpSymbolMaps, isLpExportResult, sanitizeIdentifier, type LpModelData, type LpSymbolMaps, type LpExportResult, } from "./lp-writer.js";
+export { validateModelSolution, type SolutionValidationOptions, type ViolationType, type SolutionViolation, type SolutionValidationSummary, type SolutionValidationReport, } from "./solution-validator.js";
+export type { VarType, OptimizationSense, ComparisonSense, SolverStatus, TerminationStatus, SolveProgressEvent, SolveOptions, SolverSolution, CheckResult, } from "./types.js";
 export * from "./solvers/index.js";
 export { getHighs, solveLpWithHighs, setHighsWasmUrl, getHighsWasmUrl } from "./solvers/highs/index.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/types/modeler/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/modeler/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,KAAK,YAAY,EAAE,KAAK,aAAa,EAAE,KAAK,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACjG,OAAO,EAAE,GAAG,EAAE,KAAK,UAAU,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,OAAO,EAAE,KAAK,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,iBAAiB,CAAC;AAC/D,OAAO,EAAE,QAAQ,EAAE,KAAK,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EACL,OAAO,EACP,QAAQ,EACR,MAAM,EACN,GAAG,EACH,EAAE,EACF,GAAG,EACH,OAAO,EACP,GAAG,GACJ,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,aAAa,CAAC;AAClE,OAAO,EAAE,gBAAgB,EAAE,KAAK,WAAW,EAAE,KAAK,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAGzF,YAAY,EACV,OAAO,EACP,iBAAiB,EACjB,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,cAAc,GACf,MAAM,YAAY,CAAC;AAGpB,cAAc,oBAAoB,CAAC;AAGnC,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/modeler/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACnB,KAAK,aAAa,GACnB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,gBAAgB,EAAE,2BAA2B,EAAE,MAAM,YAAY,CAAC;AAC7G,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,KAAK,aAAa,EAClB,KAAK,aAAa,GACnB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,GAAG,EAAE,KAAK,UAAU,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EACL,OAAO,EACP,KAAK,IAAI,EACT,KAAK,OAAO,EACZ,KAAK,eAAe,EACpB,KAAK,iBAAiB,EACtB,GAAG,EACH,GAAG,GACJ,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,QAAQ,EAAE,KAAK,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EACL,OAAO,EACP,QAAQ,EACR,MAAM,EACN,KAAK,YAAY,EACjB,KAAK,UAAU,EACf,GAAG,EACH,EAAE,EACF,GAAG,EACH,OAAO,EACP,GAAG,GACJ,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,SAAS,EACT,eAAe,EACf,IAAI,EACJ,KAAK,UAAU,EACf,KAAK,YAAY,GAClB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,gBAAgB,EAChB,iBAAiB,EACjB,gBAAgB,EAChB,kBAAkB,EAClB,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,cAAc,GACpB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,qBAAqB,EACrB,KAAK,yBAAyB,EAC9B,KAAK,aAAa,EAClB,KAAK,iBAAiB,EACtB,KAAK,yBAAyB,EAC9B,KAAK,wBAAwB,GAC9B,MAAM,yBAAyB,CAAC;AAGjC,YAAY,EACV,OAAO,EACP,iBAAiB,EACjB,eAAe,EACf,YAAY,EACZ,iBAAiB,EACjB,kBAAkB,EAClB,YAAY,EACZ,cAAc,EACd,WAAW,GACZ,MAAM,YAAY,CAAC;AAGpB,cAAc,oBAAoB,CAAC;AAGnC,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC"}