@ohtaman/washi 0.0.0-stage → 0.1.1

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EACL,KAAK,EACL,KAAK,YAAY,EACjB,GAAG,EACH,KAAK,UAAU,EACf,OAAO,EACP,GAAG,EACH,IAAI,EACJ,KAAK,EACL,QAAQ,EACR,KAAK,QAAQ,EACb,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;AAG5B,YAAY,EACV,OAAO,EACP,iBAAiB,EACjB,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,cAAc,GACf,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,SAAS,EACT,UAAU,EACV,UAAU,EACV,UAAU,EACV,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,QAAQ,EACR,KAAK,GACN,MAAM,0BAA0B,CAAC;AAGlC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,UAAU,EACV,OAAO,EACP,MAAM,EACN,QAAQ,EACR,QAAQ,GACT,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EACL,KAAK,MAAM,EACX,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACtB,KAAK,kBAAkB,EACvB,WAAW,EACX,KAAK,EACL,UAAU,EACV,QAAQ,EACR,gBAAgB,EAChB,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,mBAAmB,CAAC;AAC3B,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC"}

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

@@ -0,0 +1,38 @@
+import type { Constraint } from "./constraint.js";
+export type LogicalOpType = "and" | "or" | "not" | "implies" | "xor" | "eq";
+export type LogicElement = BoolExpr | Constraint;
+/**
+ * Base abstract class for Boolean expressions in SMT / SAT
+ */
+export declare abstract class BoolExpr {
+    and(other: LogicElement): BoolOp;
+    or(other: LogicElement): BoolOp;
+    implies(consequent: LogicElement): BoolOp;
+    xor(other: LogicElement): BoolOp;
+    not(): BoolOp;
+}
+/**
+ * Boolean variable (propositional variable in SAT / SMT)
+ */
+export declare class BoolVar extends BoolExpr {
+    readonly id: number;
+    readonly name: string;
+    value: boolean | null;
+    constructor(name?: string);
+    toString(): string;
+}
+/**
+ * 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[]);
+    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;
+//# sourceMappingURL=boolean-expr.d.ts.map

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

@@ -0,0 +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"}

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

@@ -0,0 +1,28 @@
+import type { ComparisonSense } from "./types.js";
+import type { LinExpr } from "./expression.js";
+import { BoolOp, type LogicElement } from "./boolean-expr.js";
+/**
+ * Represents a linear constraint: lhs (terms) <=, >=, or == rhs (constant)
+ * Compatible with PuLP (LpConstraint) and python-mip (Constr).
+ */
+export declare class Constraint {
+    readonly id: number;
+    lhs: LinExpr;
+    sense: ComparisonSense;
+    rhs: number;
+    name: string;
+    /** 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);
+    /** PuLP style dual price accessor */
+    get pi(): number | null;
+    and(other: LogicElement): BoolOp;
+    or(other: LogicElement): BoolOp;
+    implies(consequent: LogicElement): BoolOp;
+    xor(other: LogicElement): BoolOp;
+    not(): BoolOp;
+    toString(): string;
+}
+//# sourceMappingURL=constraint.d.ts.map

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

@@ -0,0 +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;;;GAGG;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;IAED,qCAAqC;IACrC,IAAI,EAAE,IAAI,MAAM,GAAG,IAAI,CAEtB;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"}

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

@@ -0,0 +1,79 @@
+import type { Var } from "./variable.js";
+import { Constraint } from "./constraint.js";
+import { QuadExpr } from "./quad-expr.js";
+/**
+ * Represents a linear expression: c0 + c1*x1 + c2*x2 + ...
+ * Compatible with PuLP (LpAffineExpression) and python-mip (LinExpr).
+ */
+export declare class LinExpr {
+    terms: Map<Var, number>;
+    constant: number;
+    constructor(terms?: Map<Var, number>, constant?: number);
+    /**
+     * Clone this linear expression
+     */
+    clone(): LinExpr;
+    /**
+     * Add another expression, variable, or number
+     */
+    add(other: QuadExpr): QuadExpr;
+    add(other: LinExpr | Var | number): LinExpr;
+    /**
+     * Subtract another expression, variable, or number
+     */
+    sub(other: QuadExpr): QuadExpr;
+    sub(other: LinExpr | Var | number): LinExpr;
+    /**
+     * Multiply this expression by a scalar coefficient or variable
+     */
+    mul(scalar: number): LinExpr;
+    mul(v: Var): QuadExpr;
+    /**
+     * Divide this expression by a non-zero scalar
+     */
+    div(scalar: number): LinExpr;
+    /**
+     * Negate this expression
+     */
+    neg(): LinExpr;
+    /**
+     * Compute the numerical value of this expression using current variable values
+     */
+    get value(): number | null;
+    /**
+     * PuLP style value accessor
+     */
+    getValue(): number | null;
+    /**
+     * Create constraint: this <= rhs
+     */
+    le(rhs: number | Var | LinExpr, name?: string): Constraint;
+    lessThanOrEqual(rhs: number | Var | LinExpr, name?: string): Constraint;
+    /**
+     * Create constraint: this >= rhs
+     */
+    ge(rhs: number | Var | LinExpr, name?: string): Constraint;
+    greaterThanOrEqual(rhs: number | Var | LinExpr, name?: string): Constraint;
+    /**
+     * Create constraint: this == rhs
+     */
+    eq(rhs: number | Var | LinExpr, name?: string): Constraint;
+    equalTo(rhs: number | Var | LinExpr, name?: string): Constraint;
+    private toConstraint;
+    toString(): string;
+}
+/**
+ * Sum an array or iterable of variables, expressions, or numbers.
+ * Also supports mapping functions: sum(items, item => expr)
+ * Compatible with PuLP's lpSum and python-mip's xsum.
+ */
+export declare function sum<T = any>(items: Iterable<T>, mapFn?: (item: T, index: number) => LinExpr | Var | number): LinExpr;
+/**
+ * python-mip style alias for sum
+ */
+export declare const xsum: typeof sum;
+/**
+ * PuLP style alias for sum
+ */
+export declare const lpSum: typeof sum;
+//# sourceMappingURL=expression.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"expression.d.ts","sourceRoot":"","sources":["../../../src/modeler/expression.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C;;;GAGG;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;IAiC5C;;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;;OAEG;IACH,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAC7B,GAAG,CAAC,CAAC,EAAE,GAAG,GAAG,QAAQ,CAAC;IAuBtB;;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;;;;GAIG;AACH,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,CA+BT;AAED;;GAEG;AACH,eAAO,MAAM,IAAI,YAAM,CAAC;AAExB;;GAEG;AACH,eAAO,MAAM,KAAK,YAAM,CAAC"}

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

@@ -0,0 +1,14 @@
+export { Model, type ModelOptions, type IndicatorOptions } from "./model.js";
+export { Var, type VarOptions } from "./variable.js";
+export { LinExpr, sum, xsum, lpSum } 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 { LpProblem, LpVariable, LpMinimize, LpMaximize, LpContinuous, LpInteger, LpBinary, LpStatus, value, } from "./pulp-compat.js";
+export { MipModel, MINIMIZE, MAXIMIZE, CONTINUOUS, INTEGER, BINARY, maximize, minimize, } from "./mip-compat.js";
+export * from "./solvers/index.js";
+export { getHighs, solveLpWithHighs, setHighsWasmUrl, getHighsWasmUrl } from "../highs-loader.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/modeler/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,KAAK,YAAY,EAAE,KAAK,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC7E,OAAO,EAAE,GAAG,EAAE,KAAK,UAAU,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAC5D,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,OAAO,EACL,SAAS,EACT,UAAU,EACV,UAAU,EACV,UAAU,EACV,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,QAAQ,EACR,KAAK,GACN,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,UAAU,EACV,OAAO,EACP,MAAM,EACN,QAAQ,EACR,QAAQ,GACT,MAAM,iBAAiB,CAAC;AAGzB,cAAc,oBAAoB,CAAC;AAGnC,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/types/modeler/lp-writer.d.ts

@@ -0,0 +1,30 @@
+import type { Var } from "./variable.js";
+import type { LinExpr } from "./expression.js";
+import type { Constraint } from "./constraint.js";
+import type { OptimizationSense } from "./types.js";
+import { QuadExpr } from "./quad-expr.js";
+export interface LpModelData {
+    name?: string;
+    sense: OptimizationSense;
+    objective: LinExpr | QuadExpr;
+    constraints: Constraint[];
+    variables: Var[];
+}
+export interface LpExportResult {
+    lpString: string;
+    /** Maps sanitized name in LP to original Var */
+    nameToVar: Map<string, Var>;
+    /** Maps sanitized name in LP to original Constraint */
+    nameToConstraint: Map<string, Constraint>;
+}
+/**
+ * Sanitize variable and constraint names to be valid CPLEX LP identifiers:
+ * Allowed chars: a-z, A-Z, 0-9, _, !, ", #, $, %, &, (, ), /, ?, @, ~, '
+ * Avoid +, -, *, :, <, >, =, [, ], spaces
+ */
+export declare function sanitizeIdentifier(raw: string, fallbackPrefix: string, id: number): string;
+/**
+ * Convert a linear or quadratic model to standard CPLEX LP format string
+ */
+export declare function generateLpString(modelData: LpModelData): LpExportResult;
+//# sourceMappingURL=lp-writer.d.ts.map

package/dist/types/modeler/lp-writer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lp-writer.d.ts","sourceRoot":"","sources":["../../../src/modeler/lp-writer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,MAAM,WAAW,WAAW;IAC1B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,iBAAiB,CAAC;IACzB,SAAS,EAAE,OAAO,GAAG,QAAQ,CAAC;IAC9B,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,SAAS,EAAE,GAAG,EAAE,CAAC;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,gDAAgD;IAChD,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC5B,uDAAuD;IACvD,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;CAC3C;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CAW1F;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,WAAW,GAAG,cAAc,CAiLvE"}

package/dist/types/modeler/mip-compat.d.ts

@@ -0,0 +1,43 @@
+import { Model as CoreModel } from "./model.js";
+import { Var } from "./variable.js";
+import { LinExpr, xsum } from "./expression.js";
+import { Constraint } from "./constraint.js";
+import type { VarType, OptimizationSense } from "./types.js";
+export declare const MINIMIZE: OptimizationSense;
+export declare const MAXIMIZE: OptimizationSense;
+export declare const BINARY: VarType;
+export declare const INTEGER: VarType;
+export declare const CONTINUOUS: VarType;
+export interface ObjectiveSpec {
+    expr: LinExpr | Var | number | string;
+    sense: OptimizationSense;
+}
+export declare function maximize(expr: LinExpr | Var | number | string): ObjectiveSpec;
+export declare function minimize(expr: LinExpr | Var | number | string): ObjectiveSpec;
+/**
+ * python-mip compatible Model class
+ */
+export declare class MipModel extends CoreModel {
+    constructor(name?: string, sense?: OptimizationSense);
+    /**
+     * python-mip style variable creation: m.add_var(name="x", var_type=INTEGER, lb=0)
+     */
+    add_var(options?: {
+        name?: string;
+        var_type?: VarType;
+        lb?: number;
+        ub?: number;
+    }): Var;
+    /**
+     * python-mip style objective property setter:
+     * m.objective = maximize(30 * x + 50 * y)
+     */
+    set objective_spec(spec: ObjectiveSpec);
+    get objective_value(): number | null;
+    /**
+     * Add constraint alias
+     */
+    add_constr(constraint: Constraint | string, name?: string): Constraint;
+}
+export { xsum };
+//# sourceMappingURL=mip-compat.d.ts.map

package/dist/types/modeler/mip-compat.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mip-compat.d.ts","sourceRoot":"","sources":["../../../src/modeler/mip-compat.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAA8B,MAAM,YAAY,CAAC;AAEzF,eAAO,MAAM,QAAQ,EAAE,iBAA8B,CAAC;AACtD,eAAO,MAAM,QAAQ,EAAE,iBAA8B,CAAC;AAEtD,eAAO,MAAM,MAAM,EAAE,OAAkB,CAAC;AACxC,eAAO,MAAM,OAAO,EAAE,OAAmB,CAAC;AAC1C,eAAO,MAAM,UAAU,EAAE,OAAsB,CAAC;AAEhD,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,OAAO,GAAG,GAAG,GAAG,MAAM,GAAG,MAAM,CAAC;IACtC,KAAK,EAAE,iBAAiB,CAAC;CAC1B;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,GAAG,GAAG,MAAM,GAAG,MAAM,GAAG,aAAa,CAE7E;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,GAAG,GAAG,MAAM,GAAG,MAAM,GAAG,aAAa,CAE7E;AAED;;GAEG;AACH,qBAAa,QAAS,SAAQ,SAAS;IACrC,YAAY,IAAI,GAAE,MAAmB,EAAE,KAAK,GAAE,iBAA4B,EAEzE;IAED;;OAEG;IACH,OAAO,CAAC,OAAO,GAAE;QACf,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,QAAQ,CAAC,EAAE,OAAO,CAAC;QACnB,EAAE,CAAC,EAAE,MAAM,CAAC;QACZ,EAAE,CAAC,EAAE,MAAM,CAAC;KACR,GAAG,GAAG,CAOX;IAED;;;OAGG;IACH,IAAI,cAAc,CAAC,IAAI,EAAE,aAAa,EAErC;IAED,IAAI,eAAe,IAAI,MAAM,GAAG,IAAI,CAEnC;IAED;;OAEG;IACH,UAAU,CAAC,UAAU,EAAE,UAAU,GAAG,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAErE;CACF;AAED,OAAO,EAAE,IAAI,EAAE,CAAC"}

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

@@ -0,0 +1,156 @@
+import type { VarType, OptimizationSense, SolverStatus, SolveOptions, SolverSolution } from "./types.js";
+import { Var, type VarOptions } from "./variable.js";
+import { LinExpr } from "./expression.js";
+import { QuadExpr } from "./quad-expr.js";
+import { Constraint } from "./constraint.js";
+import { BoolVar, BoolExpr } from "./boolean-expr.js";
+import { type Solver } from "./solvers/index.js";
+export interface ModelOptions {
+    name?: string;
+    sense?: OptimizationSense;
+    solver?: Solver | string;
+}
+export interface IndicatorOptions {
+    activeValue?: 0 | 1;
+    M?: number;
+    name?: string;
+}
+/**
+ * High-level intuitive mathematical programming model.
+ * Inspired by PuLP (Python) and python-mip, running directly with HiGHS WASM in browser and Node.js.
+ */
+export interface LogicalConstraint {
+    name: string;
+    expr: BoolExpr | Constraint;
+}
+export declare class Model {
+    name: string;
+    sense: OptimizationSense;
+    objective: LinExpr | QuadExpr;
+    variables: Var[];
+    constraints: Constraint[];
+    boolVars: BoolVar[];
+    logicalConstraints: LogicalConstraint[];
+    unsatCore: string[];
+    values: Map<string, number | boolean>;
+    private varMapByName;
+    private constrMapByName;
+    status: SolverStatus;
+    objectiveValue: number | null;
+    runTime: number;
+    solution: SolverSolution | null;
+    solver: Solver | null;
+    constructor(options?: ModelOptions);
+    get vars(): Var[];
+    get constrs(): Constraint[];
+    get numVars(): number;
+    get numConstrs(): number;
+    /**
+     * Add a decision variable to the model
+     */
+    addVar(options?: VarOptions): Var;
+    addVar(name: string, type?: VarType, lb?: number, ub?: number): Var;
+    /**
+     * Add multiple variables at once:
+     * - by count: addVars(5) -> Var[]
+     * - by key array: addVars(["apples", "oranges"]) -> Record<string, Var>
+     * - by 2D dimensions: addVars(factories, stores) -> Record<string, Record<string, Var>>
+     * - by 2D numeric grid: addVars(8, 8) -> Record<number, Record<number, Var>>
+     */
+    addVars(count: number, options?: VarOptions): Var[];
+    addVars<R extends string | number, C extends string | number>(dim1: R[] | number, dim2: C[] | number, options?: VarOptions): Record<R, Record<C, Var>>;
+    addVars<K extends string | number>(keys: K[], options?: VarOptions): Record<K, Var>;
+    /**
+     * Add a 2D matrix of decision variables: grid[row][col]
+     */
+    addVars2D<R extends string | number, C extends string | number>(rows: R[], cols: C[], options?: VarOptions): Record<R, Record<C, Var>>;
+    /**
+     * Find variable by name
+     */
+    getVarByName(name: string): Var | undefined;
+    /**
+     * Find a constraint by its name
+     */
+    getConstraintByName(name: string): Constraint | undefined;
+    /**
+     * Set the objective function
+     */
+    setObjective(expr: LinExpr | QuadExpr | Var | number | string, sense?: OptimizationSense): void;
+    /**
+     * Set objective to maximize
+     */
+    maximize(expr: LinExpr | QuadExpr | Var | number | string): void;
+    /**
+     * Set objective to minimize
+     */
+    minimize(expr: LinExpr | QuadExpr | Var | number | string): void;
+    /**
+     * Add a Boolean (propositional logic) variable for SMT / SAT modeling
+     */
+    addBoolVar(name?: string): BoolVar;
+    /**
+     * Add a linear or logical constraint to the model
+     */
+    addConstraint(constraint: Constraint | string, name?: string): Constraint;
+    addConstraint(constraint: BoolExpr, name?: string): BoolExpr;
+    addConstraint(constraint: Constraint | BoolExpr | string, name?: string): Constraint | BoolExpr;
+    /**
+     * python-mip / Gurobi style alias for addConstraint
+     */
+    addConstr(constraint: Constraint | BoolExpr | string, name?: string): Constraint | BoolExpr;
+    /**
+     * Add multiple constraints
+     */
+    addConstrs(constraints: (Constraint | BoolExpr | string)[]): (Constraint | BoolExpr)[];
+    /**
+     * Universal classical fluent adder for constraints, variables, or batches.
+     * Enables:
+     * - m.add(x.mul(2).add(y).le(10))
+     * - m.add(c`${x} + ${y} <= 10`)
+     * - m.add("x + y <= 10")
+     * - m.add([c1, c2, c3])
+     * - m.add(new Var(...))
+     * - m.add(c1).add(c2) (fluent chaining)
+     */
+    add(constraint: Constraint, name?: string): this;
+    add(expr: BoolExpr, name?: string): this;
+    add(strConstraint: string, name?: string): this;
+    add(variable: Var): this;
+    add(items: (Constraint | BoolExpr | string | Var)[]): this;
+    /**
+     * Add an indicator constraint via Big-M auto-linearization:
+     * "If binVar == activeValue, then constraint holds"
+     *
+     * Automatically handles <=, >=, and == constraints.
+     * Enables solving conditional logic in MIP solvers (HiGHS, GLPK) without requiring SMT.
+     */
+    addIndicator(binVar: Var, constraint: Constraint, options?: IndicatorOptions): Constraint[];
+    /**
+     * Export model to CPLEX LP format string
+     */
+    toLpString(): string;
+    /**
+     * Solve the optimization model using the configured solver (defaults to HiGHS WASM)
+     * or a solver passed dynamically (PuLP style: prob.solve(solver))
+     */
+    optimize(solverOrOptions?: Solver | string | SolveOptions, options?: SolveOptions): Promise<SolverStatus>;
+    /**
+     * PuLP style alias for optimize:
+     * await model.solve()
+     * await model.solve(new HiGHS())
+     * await model.solve(new GLPK())
+     * await model.solve(new RemoteSolver({ url: "..." }))
+     */
+    solve(solverOrOptions?: Solver | string | SolveOptions, options?: SolveOptions): Promise<SolverStatus>;
+    /**
+     * Check satisfiability of the model without requiring an objective function.
+     * Can be used to verify feasibility or diagnose infeasibilities / unsat core.
+     */
+    check(solverOrOptions?: Solver | string | SolveOptions, options?: SolveOptions): Promise<{
+        status: "Sat" | "Unsat" | "Unknown";
+        values: Record<string, number | boolean>;
+        unsatCore?: string[];
+        runTime?: number;
+    }>;
+}
+//# sourceMappingURL=model.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../../src/modeler/model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,OAAO,EACP,iBAAiB,EACjB,YAAY,EACZ,YAAY,EACZ,cAAc,EACf,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,GAAG,EAAE,KAAK,UAAU,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAGtD,OAAO,EAAa,KAAK,MAAM,EAAyC,MAAM,oBAAoB,CAAC;AAEnG,MAAM,WAAW,YAAY;IAC3B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,iBAAiB,CAAC;IAC1B,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,gBAAgB;IAC/B,WAAW,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IACpB,CAAC,CAAC,EAAE,MAAM,CAAC;IACX,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,QAAQ,GAAG,UAAU,CAAC;CAC7B;AAED,qBAAa,KAAK;IACT,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,iBAAiB,CAAC;IACzB,SAAS,EAAE,OAAO,GAAG,QAAQ,CAAC;IAC9B,SAAS,EAAE,GAAG,EAAE,CAAM;IACtB,WAAW,EAAE,UAAU,EAAE,CAAM;IAC/B,QAAQ,EAAE,OAAO,EAAE,CAAM;IACzB,kBAAkB,EAAE,iBAAiB,EAAE,CAAM;IAC7C,SAAS,EAAE,MAAM,EAAE,CAAM;IACzB,MAAM,gCAAuC;IAEpD,OAAO,CAAC,YAAY,CAA0B;IAC9C,OAAO,CAAC,eAAe,CAAiC;IAEjD,MAAM,EAAE,YAAY,CAAe;IACnC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAQ;IACrC,OAAO,EAAE,MAAM,CAAK;IACpB,QAAQ,EAAE,cAAc,GAAG,IAAI,CAAQ;IACvC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAQ;IAEpC,YAAY,OAAO,GAAE,YAAiB,EAOrC;IAED,IAAI,IAAI,IAAI,GAAG,EAAE,CAEhB;IAED,IAAI,OAAO,IAAI,UAAU,EAAE,CAE1B;IAED,IAAI,OAAO,IAAI,MAAM,CAEpB;IAED,IAAI,UAAU,IAAI,MAAM,CAEvB;IAED;;OAEG;IACH,MAAM,CAAC,OAAO,CAAC,EAAE,UAAU,GAAG,GAAG,CAAC;IAClC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,GAAG,GAAG,CAAC;IAgCpE;;;;;;OAMG;IACH,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,UAAU,GAAG,GAAG,EAAE,CAAC;IACpD,OAAO,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,EAC1D,IAAI,EAAE,CAAC,EAAE,GAAG,MAAM,EAClB,IAAI,EAAE,CAAC,EAAE,GAAG,MAAM,EAClB,OAAO,CAAC,EAAE,UAAU,GACnB,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7B,OAAO,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,UAAU,GAAG,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAqDpF;;OAEG;IACH,SAAS,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,EAC5D,IAAI,EAAE,CAAC,EAAE,EACT,IAAI,EAAE,CAAC,EAAE,EACT,OAAO,CAAC,EAAE,UAAU,GACnB,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAa3B;IAED;;OAEG;IACH,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,GAAG,GAAG,SAAS,CAE1C;IAED;;OAEG;IACH,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAExD;IAED;;OAEG;IACH,YAAY,CAAC,IAAI,EAAE,OAAO,GAAG,QAAQ,GAAG,GAAG,GAAG,MAAM,GAAG,MAAM,EAAE,KAAK,CAAC,EAAE,iBAAiB,GAAG,IAAI,CAiB9F;IAED;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,QAAQ,GAAG,GAAG,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,CAE/D;IAED;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,QAAQ,GAAG,GAAG,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,CAE/D;IAED;;OAEG;IACH,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,OAAO,CAIjC;IAED;;OAEG;IACH,aAAa,CAAC,UAAU,EAAE,UAAU,GAAG,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAAC;IAC1E,aAAa,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAC;IAC7D,aAAa,CAAC,UAAU,EAAE,UAAU,GAAG,QAAQ,GAAG,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,GAAG,QAAQ,CAAC;IA+BhG;;OAEG;IACH,SAAS,CAAC,UAAU,EAAE,UAAU,GAAG,QAAQ,GAAG,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,GAAG,QAAQ,CAE1F;IAED;;OAEG;IACH,UAAU,CAAC,WAAW,EAAE,CAAC,UAAU,GAAG,QAAQ,GAAG,MAAM,CAAC,EAAE,GAAG,CAAC,UAAU,GAAG,QAAQ,CAAC,EAAE,CAErF;IAED;;;;;;;;;OASG;IACH,GAAG,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACjD,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,GAAG,CAAC,aAAa,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAChD,GAAG,CAAC,QAAQ,EAAE,GAAG,GAAG,IAAI,CAAC;IACzB,GAAG,CAAC,KAAK,EAAE,CAAC,UAAU,GAAG,QAAQ,GAAG,MAAM,GAAG,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC;IAwB3D;;;;;;OAMG;IACH,YAAY,CACV,MAAM,EAAE,GAAG,EACX,UAAU,EAAE,UAAU,EACtB,OAAO,GAAE,gBAAqB,GAC7B,UAAU,EAAE,CA8Cd;IAED;;OAEG;IACH,UAAU,IAAI,MAAM,CASnB;IAED;;;OAGG;IACG,QAAQ,CACZ,eAAe,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,YAAY,EAChD,OAAO,CAAC,EAAE,YAAY,GACrB,OAAO,CAAC,YAAY,CAAC,CAqHvB;IAED;;;;;;OAMG;IACG,KAAK,CACT,eAAe,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,YAAY,EAChD,OAAO,CAAC,EAAE,YAAY,GACrB,OAAO,CAAC,YAAY,CAAC,CAEvB;IAED;;;OAGG;IACG,KAAK,CACT,eAAe,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,YAAY,EAChD,OAAO,CAAC,EAAE,YAAY,GACrB,OAAO,CAAC;QACT,MAAM,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;QACpC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,CAAC;QACzC,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;QACrB,OAAO,CAAC,EAAE,MAAM,CAAC;KAClB,CAAC,CAuFD;CACF"}

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

@@ -0,0 +1,27 @@
+import { Var } from "./variable.js";
+import { LinExpr } from "./expression.js";
+import { Constraint } from "./constraint.js";
+type VarResolver = (name: string) => Var | undefined;
+/**
+ * Parse a mathematical expression string into a LinExpr
+ */
+export declare function parseExpr(text: string, resolver: VarResolver): LinExpr;
+/**
+ * Parse a constraint string such as "chairs + 2 * tables <= 40"
+ */
+export declare function parseConstraint(text: string, resolver: VarResolver, name?: string): Constraint;
+/**
+ * Tagged template literal for constraints:
+ * c`${chairs} + 2 * ${tables} <= 40`
+ * c`3 * ${x} - ${y} >= 5`
+ * c`${x} == 2 * ${y} + 4`
+ */
+export declare function c(strings: TemplateStringsArray, ...values: (Var | LinExpr | number)[]): Constraint;
+/**
+ * Tagged template literal for linear expressions or inline constraints:
+ * expr`45 * ${chairs} + 80 * ${tables}` -> LinExpr
+ * expr`${x} + 2 * ${y} <= 40` -> Constraint
+ */
+export declare function expr(strings: TemplateStringsArray, ...values: (Var | LinExpr | number)[]): LinExpr | Constraint;
+export {};
+//# sourceMappingURL=parser.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../../src/modeler/parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAC1C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAG7C,KAAK,WAAW,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,GAAG,GAAG,SAAS,CAAC;AA4NrD;;GAEG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,GAAG,OAAO,CAItE;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CA4B9F;AAqCD;;;;;GAKG;AACH,wBAAgB,CAAC,CACf,OAAO,EAAE,oBAAoB,EAC7B,GAAG,MAAM,EAAE,CAAC,GAAG,GAAG,OAAO,GAAG,MAAM,CAAC,EAAE,GACpC,UAAU,CAGZ;AAED;;;;GAIG;AACH,wBAAgB,IAAI,CAClB,OAAO,EAAE,oBAAoB,EAC7B,GAAG,MAAM,EAAE,CAAC,GAAG,GAAG,OAAO,GAAG,MAAM,CAAC,EAAE,GACpC,OAAO,GAAG,UAAU,CAOtB"}

package/dist/types/modeler/pulp-compat.d.ts

@@ -0,0 +1,67 @@
+import { Model } from "./model.js";
+import { Var } from "./variable.js";
+import { LinExpr, lpSum } from "./expression.js";
+import { QuadExpr } from "./quad-expr.js";
+import { Constraint } from "./constraint.js";
+import type { VarType, OptimizationSense, SolverStatus, SolveOptions } from "./types.js";
+import { type Solver, HiGHS, MockSolver, getSolver, listAvailableSolvers } from "./solvers/index.js";
+export declare const LpMinimize: OptimizationSense;
+export declare const LpMaximize: OptimizationSense;
+export declare const LpContinuous: VarType;
+export declare const LpInteger: VarType;
+export declare const LpBinary: VarType;
+export declare const LpStatus: Record<SolverStatus, string>;
+/**
+ * PuLP-compatible LpVariable
+ */
+export declare class LpVariable extends Var {
+    constructor(name: string, lowBound?: number, upBound?: number, cat?: VarType);
+    /**
+     * PuLP-style LpVariable.dicts helper:
+     * LpVariable.dicts("x", [0, 1, 2], 0, 1, LpBinary)
+     */
+    static dicts<K extends string | number>(name: string, indices: K[], lowBound?: number, upBound?: number, cat?: VarType): Record<K, LpVariable>;
+}
+/**
+ * PuLP value() helper to extract value of variable or expression
+ */
+export declare function value(item: Var | LinExpr | number | null | undefined): number | null;
+/**
+ * PuLP-compatible LpProblem class
+ */
+export declare class LpProblem {
+    model: Model;
+    constructor(name?: string, sense?: OptimizationSense);
+    get name(): string;
+    get sense(): OptimizationSense;
+    set sense(val: OptimizationSense);
+    get objective(): LinExpr | QuadExpr;
+    get variables(): Var[];
+    get constraints(): Constraint[];
+    get status(): SolverStatus;
+    get objectiveValue(): number | null;
+    /**
+     * Register a variable to the problem
+     */
+    addVariable(v: Var): Var;
+    /**
+     * Set objective function
+     */
+    setObjective(expr: LinExpr | Var | number | string): void;
+    /**
+     * Add a constraint
+     */
+    addConstraint(constraint: Constraint | string, name?: string): Constraint;
+    /**
+     * Convenient method to add either an objective or constraint
+     */
+    add(item: Constraint | LinExpr | Var | string, name?: string): void;
+    /**
+     * Solve the problem using specified solver (e.g. prob.solve(new HiGHS()), prob.solve(new GLPK()))
+     * or default solver
+     */
+    solve(solverOrOptions?: Solver | string | SolveOptions, options?: SolveOptions): Promise<SolverStatus>;
+    toLpString(): string;
+}
+export { lpSum, HiGHS, MockSolver, getSolver, listAvailableSolvers, };
+//# sourceMappingURL=pulp-compat.d.ts.map

package/dist/types/modeler/pulp-compat.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pulp-compat.d.ts","sourceRoot":"","sources":["../../../src/modeler/pulp-compat.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,EAAE,OAAO,EAAO,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACzF,OAAO,EACL,KAAK,MAAM,EACX,KAAK,EACL,UAAU,EACV,SAAS,EACT,oBAAoB,EACrB,MAAM,oBAAoB,CAAC;AAG5B,eAAO,MAAM,UAAU,EAAE,iBAA8B,CAAC;AACxD,eAAO,MAAM,UAAU,EAAE,iBAA8B,CAAC;AAExD,eAAO,MAAM,YAAY,EAAE,OAAsB,CAAC;AAClD,eAAO,MAAM,SAAS,EAAE,OAAmB,CAAC;AAC5C,eAAO,MAAM,QAAQ,EAAE,OAAkB,CAAC;AAE1C,eAAO,MAAM,QAAQ,EAAE,MAAM,CAAC,YAAY,EAAE,MAAM,CAYjD,CAAC;AAEF;;GAEG;AACH,qBAAa,UAAW,SAAQ,GAAG;IACjC,YACE,IAAI,EAAE,MAAM,EACZ,QAAQ,CAAC,EAAE,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,EAChB,GAAG,GAAE,OAAsB,EAQ5B;IAED;;;OAGG;IACH,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EACpC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,CAAC,EAAE,EACZ,QAAQ,CAAC,EAAE,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,EAChB,GAAG,GAAE,OAAsB,GAC1B,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC,CAOvB;CACF;AAED;;GAEG;AACH,wBAAgB,KAAK,CAAC,IAAI,EAAE,GAAG,GAAG,OAAO,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,MAAM,GAAG,IAAI,CAIpF;AAED;;GAEG;AACH,qBAAa,SAAS;IACb,KAAK,EAAE,KAAK,CAAC;IAEpB,YAAY,IAAI,GAAE,MAAiB,EAAE,KAAK,GAAE,iBAA8B,EAEzE;IAED,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,IAAI,KAAK,IAAI,iBAAiB,CAE7B;IAED,IAAI,KAAK,CAAC,GAAG,EAAE,iBAAiB,EAE/B;IAED,IAAI,SAAS,IAAI,OAAO,GAAG,QAAQ,CAElC;IAED,IAAI,SAAS,IAAI,GAAG,EAAE,CAErB;IAED,IAAI,WAAW,IAAI,UAAU,EAAE,CAE9B;IAED,IAAI,MAAM,IAAI,YAAY,CAEzB;IAED,IAAI,cAAc,IAAI,MAAM,GAAG,IAAI,CAElC;IAED;;OAEG;IACH,WAAW,CAAC,CAAC,EAAE,GAAG,GAAG,GAAG,CAMvB;IAED;;OAEG;IACH,YAAY,CAAC,IAAI,EAAE,OAAO,GAAG,GAAG,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,CAWxD;IAED;;OAEG;IACH,aAAa,CAAC,UAAU,EAAE,UAAU,GAAG,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAOxE;IAED;;OAEG;IACH,GAAG,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,GAAG,GAAG,GAAG,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAYlE;IAED;;;OAGG;IACG,KAAK,CACT,eAAe,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,YAAY,EAChD,OAAO,CAAC,EAAE,YAAY,GACrB,OAAO,CAAC,YAAY,CAAC,CAEvB;IAED,UAAU,IAAI,MAAM,CAEnB;CACF;AAED,OAAO,EACL,KAAK,EACL,KAAK,EACL,UAAU,EACV,SAAS,EACT,oBAAoB,GACrB,CAAC"}

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

@@ -0,0 +1,55 @@
+import type { Var } from "./variable.js";
+import type { LinExpr } from "./expression.js";
+export interface QuadTerm {
+    var1: Var;
+    var2: Var;
+    coeff: number;
+}
+/**
+ * Represents a quadratic expression:
+ * constant + sum(c_i * x_i) + sum(q_ij * x_i * x_j)
+ */
+export declare class QuadExpr {
+    linearTerms: Map<Var, number>;
+    quadTerms: Map<string, QuadTerm>;
+    constant: number;
+    constructor(linearTerms?: Map<Var, number>, quadTerms?: Map<string, QuadTerm>, constant?: number);
+    /**
+     * Clone this quadratic expression
+     */
+    clone(): QuadExpr;
+    /**
+     * Get coefficient for a quadratic term x1 * x2
+     */
+    getQuadCoeff(v1: Var, v2: Var): number;
+    /**
+     * Add another expression, variable, or number
+     */
+    add(other: QuadExpr | LinExpr | Var | number): QuadExpr;
+    /**
+     * Subtract another expression, variable, or number
+     */
+    sub(other: QuadExpr | LinExpr | Var | number): QuadExpr;
+    /**
+     * Multiply by a scalar coefficient
+     */
+    mul(scalar: number): QuadExpr;
+    /**
+     * Divide by a non-zero scalar
+     */
+    div(scalar: number): QuadExpr;
+    /**
+     * Negate this quadratic expression
+     */
+    neg(): QuadExpr;
+    /**
+     * Compute the numerical value of this expression using current variable values
+     */
+    get value(): number | null;
+    getValue(): number | null;
+    /**
+     * Factory method to create a quadratic term v1 * v2 * coeff
+     */
+    static fromProduct(v1: Var, v2: Var, coeff?: number): QuadExpr;
+}
+//# sourceMappingURL=quad-expr.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"quad-expr.d.ts","sourceRoot":"","sources":["../../../src/modeler/quad-expr.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAW/C,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,GAAG,CAAC;IACV,IAAI,EAAE,GAAG,CAAC;IACV,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;GAGG;AACH,qBAAa,QAAQ;IACZ,WAAW,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAC9B,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACjC,QAAQ,EAAE,MAAM,CAAC;IAExB,YACE,WAAW,GAAE,GAAG,CAAC,GAAG,EAAE,MAAM,CAAa,EACzC,SAAS,GAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAa,EAC5C,QAAQ,GAAE,MAAU,EAQrB;IAED;;OAEG;IACH,KAAK,IAAI,QAAQ,CAEhB;IAED;;OAEG;IACH,YAAY,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,GAAG,MAAM,CAIrC;IAED;;OAEG;IACH,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,OAAO,GAAG,GAAG,GAAG,MAAM,GAAG,QAAQ,CA6DtD;IAED;;OAEG;IACH,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,OAAO,GAAG,GAAG,GAAG,MAAM,GAAG,QAAQ,CAWtD;IAED;;OAEG;IACH,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,CAmB5B;IAED;;OAEG;IACH,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,CAK5B;IAED;;OAEG;IACH,GAAG,IAAI,QAAQ,CAEd;IAED;;OAEG;IACH,IAAI,KAAK,IAAI,MAAM,GAAG,IAAI,CAWzB;IAED,QAAQ,IAAI,MAAM,GAAG,IAAI,CAExB;IAED;;OAEG;IACH,MAAM,CAAC,WAAW,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,GAAE,MAAU,GAAG,QAAQ,CAShE;CACF"}

package/dist/types/modeler/solvers/glpk.d.ts

@@ -0,0 +1,22 @@
+import type { Solver, SolverOptions, SolverResult } from "./types.js";
+import type { LpModelData, LpExportResult } from "../lp-writer.js";
+/**
+ * GLPK Solver adapter (GNU Linear Programming Kit via WebAssembly / JS).
+ * Supports standard Linear Programming (LP) and Mixed-Integer Programming (MIP).
+ */
+export declare class GLPKSolver implements Solver {
+    static readonly capabilities: {
+        supportsMIP: boolean;
+        supportsQP: boolean;
+    };
+    readonly name = "GLPK";
+    readonly version = "5.0.0";
+    readonly capabilities: {
+        supportsMIP: boolean;
+        supportsQP: boolean;
+    };
+    options: SolverOptions;
+    constructor(options?: SolverOptions);
+    solve(modelData: LpModelData, lpResult: LpExportResult, options?: SolverOptions): Promise<SolverResult>;
+}
+//# sourceMappingURL=glpk.d.ts.map

package/dist/types/modeler/solvers/glpk.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"glpk.d.ts","sourceRoot":"","sources":["../../../../src/modeler/solvers/glpk.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACtE,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAInE;;;GAGG;AACH,qBAAa,UAAW,YAAW,MAAM;IACvC,gBAAuB,YAAY;QACjC,WAAW;QACX,UAAU;MACV;IACF,SAAgB,IAAI,UAAU;IAC9B,SAAgB,OAAO,WAAW;IAClC,SAAgB,YAAY;;;MAA2B;IAChD,OAAO,EAAE,aAAa,CAAC;IAE9B,YAAY,OAAO,GAAE,aAAkB,EAEtC;IAEK,KAAK,CACT,SAAS,EAAE,WAAW,EACtB,QAAQ,EAAE,cAAc,EACxB,OAAO,GAAE,aAAkB,GAC1B,OAAO,CAAC,YAAY,CAAC,CAoLvB;CACF"}