@ohtaman/washi 0.4.0 → 0.6.0

package/dist/types/modeler/solvers/highs/driver.d.ts

@@ -0,0 +1,232 @@
+/**
+ * Directly compiled HiGHS WebAssembly Driver & C API Wrapper.
+ *
+ * Provides a type-safe, zero-dependency interface to official ERGO-Code/HiGHS
+ * via its native C API (highs_c_api.h), eliminating third-party npm wrappers.
+ */
+export interface HighsEmscriptenModule {
+    cwrap(name: string, returnType: string | null, argTypes: string[]): (...args: any[]) => any;
+    ccall(name: string, returnType: string | null, argTypes: string[], args: any[]): any;
+    getValue(ptr: number, type: string): number;
+    setValue(ptr: number, val: number, type: string): void;
+    UTF8ToString(ptr: number): string;
+    stringToUTF8(str: string, ptr: number, maxBytesToWrite: number): void;
+    addFunction(fn: (...args: any[]) => any, signature: string): number;
+    removeFunction(ptr: number): void;
+    _malloc(size: number): number;
+    _free(ptr: number): void;
+    FS?: {
+        writeFile(path: string, data: string | Uint8Array, opts?: any): void;
+        unlink(path: string): void;
+        readFile(path: string, opts?: any): Uint8Array | string;
+    };
+    HEAPF64?: Float64Array;
+    HEAP32?: Int32Array;
+    HEAPU8?: Uint8Array;
+    HEAP8?: Int8Array;
+    wasmMemory?: WebAssembly.Memory;
+}
+export interface CreateHiGHSOptions {
+    locateFile?: (path: string, prefix?: string) => string;
+    wasmBinary?: ArrayBuffer | Uint8Array;
+    instantiateWasm?: (imports: any, successCallback: (instance: any) => void) => any;
+    noFSInit?: boolean;
+    print?: (text: string) => void;
+    printErr?: (text: string) => void;
+}
+export interface HighsSolutionColumn {
+    Index: number;
+    Name: string;
+    Primal: number;
+    Dual: number;
+    Type?: string;
+}
+export interface HighsSolutionRow {
+    Index: number;
+    Name?: string;
+    Primal?: number;
+    Dual?: number;
+}
+export interface HighsSolutionResult {
+    Status: string;
+    StatusCode: number;
+    ObjectiveValue: number;
+    Columns: Record<string, HighsSolutionColumn>;
+    Rows?: HighsSolutionRow[];
+    PrimalSolutionStatus?: number;
+    DualSolutionStatus?: number;
+    HasPrimalSolution?: boolean;
+    IsMip?: boolean;
+    ObjectiveOffsetApplied?: boolean;
+}
+export declare class HighsError extends Error {
+    constructor(message: string);
+}
+export declare class HighsUnsupportedOptionError extends HighsError {
+    constructor(message: string);
+}
+export declare const HIGHS_STATUS_NAMES: Record<number, string>;
+export declare const HIGHS_CONSTANTS: {
+    readonly callbackType: {
+        readonly logging: 0;
+        readonly simplexInterrupt: 1;
+        readonly ipmInterrupt: 2;
+        readonly mipSolution: 3;
+        readonly mipImprovingSolution: 4;
+        readonly mipLogging: 5;
+        readonly mipInterrupt: 6;
+        readonly mipGetCutPool: 7;
+        readonly mipDefineLazyConstraints: 8;
+        readonly mipUserSolution: 9;
+    };
+    readonly solutionStatus: {
+        readonly none: 0;
+        readonly infeasible: 1;
+        readonly feasible: 2;
+    };
+    readonly modelStatus: {
+        readonly notSet: 0;
+        readonly loadError: 1;
+        readonly modelError: 2;
+        readonly presolveError: 3;
+        readonly solveError: 4;
+        readonly postsolveError: 5;
+        readonly modelEmpty: 6;
+        readonly optimal: 7;
+        readonly infeasible: 8;
+        readonly unboundedOrInfeasible: 9;
+        readonly unbounded: 10;
+        readonly objectiveBound: 11;
+        readonly objectiveTarget: 12;
+        readonly timeLimit: 13;
+        readonly iterationLimit: 14;
+        readonly unknown: 15;
+        readonly solutionLimit: 16;
+        readonly interrupt: 17;
+    };
+};
+export interface HighsBindings {
+    create: () => number;
+    destroy: (highs: number) => void;
+    clearModel: (highs: number) => number;
+    version: () => string;
+    readModel: (highs: number, filename: string) => number;
+    run: (highs: number) => number;
+    getNumCol: (highs: number) => number;
+    getNumRow: (highs: number) => number;
+    getNumNz: (highs: number) => number;
+    getObjectiveValue: (highs: number) => number;
+    getModelStatus: (highs: number) => number;
+    getSolution: (highs: number, colVal: number, colDual: number, rowVal: number, rowDual: number) => number;
+    getColName: (highs: number, col: number, namePtr: number) => number;
+    getRowName: (highs: number, row: number, namePtr: number) => number;
+    getColIntegrality: (highs: number, col: number, integPtr: number) => number;
+    changeObjectiveOffset: (highs: number, offset: number) => number;
+    getObjectiveOffset: (highs: number, offsetPtr: number) => number;
+    setBoolOptionValue: (highs: number, option: string, value: number) => number;
+    setIntOptionValue: (highs: number, option: string, value: number) => number;
+    setDoubleOptionValue: (highs: number, option: string, value: number) => number;
+    setStringOptionValue: (highs: number, option: string, value: string) => number;
+    setSolution: (highs: number, colVal: number, rowVal: number, colDual: number, rowDual: number) => number;
+    setSparseSolution: (highs: number, numEntries: number, indexPtr: number, valPtr: number) => number;
+    getIntInfoValue: (highs: number, info: string, valPtr: number) => number;
+    getDoubleInfoValue: (highs: number, info: string, valPtr: number) => number;
+    getInt64InfoValue: (highs: number, info: string, valPtr: number) => number;
+    setCallback: (highs: number, callbackPtr: number, userData: number) => number;
+    startCallback: (highs: number, callbackType: number) => number;
+    stopCallback: (highs: number, callbackType: number) => number;
+}
+export declare function bindHighsFunctions(module: HighsEmscriptenModule): HighsBindings;
+export declare class HighsModel {
+    readonly highs: number;
+    readonly module: HighsEmscriptenModule;
+    readonly bindings: HighsBindings;
+    private readonly stringBuf;
+    private isDestroyed;
+    constructor(module: HighsEmscriptenModule, bindings: HighsBindings, highsPtr?: number);
+    changeObjectiveOffset(offset: number): void;
+    getObjectiveOffset(): number;
+    readonly options: {
+        set: (name: string, value: any) => void;
+    };
+    getDimensions(): {
+        numCols: number;
+        numRows: number;
+    };
+    getColIntegrality(colIndex: number): number;
+    getColName(colIndex: number): string;
+    getRowName(rowIndex: number): string;
+    setSolution(sol: {
+        colValue?: number[];
+        indices?: number[];
+        values?: number[];
+    }): void;
+    run(callbacks?: Record<number, (event: any) => undefined>): number;
+    getModelStatus(): number;
+    readonly info: {
+        get: (name: string) => number | string;
+    };
+    getSolution(): {
+        colValue: Float64Array;
+        colDual: Float64Array;
+        rowValue: Float64Array;
+        rowDual: Float64Array;
+    };
+    getObjectiveValue(): number;
+    destroy(): void;
+    [Symbol.dispose](): void;
+}
+export declare class Highs {
+    readonly module: HighsEmscriptenModule;
+    readonly bindings: HighsBindings;
+    readonly constants: {
+        readonly callbackType: {
+            readonly logging: 0;
+            readonly simplexInterrupt: 1;
+            readonly ipmInterrupt: 2;
+            readonly mipSolution: 3;
+            readonly mipImprovingSolution: 4;
+            readonly mipLogging: 5;
+            readonly mipInterrupt: 6;
+            readonly mipGetCutPool: 7;
+            readonly mipDefineLazyConstraints: 8;
+            readonly mipUserSolution: 9;
+        };
+        readonly solutionStatus: {
+            readonly none: 0;
+            readonly infeasible: 1;
+            readonly feasible: 2;
+        };
+        readonly modelStatus: {
+            readonly notSet: 0;
+            readonly loadError: 1;
+            readonly modelError: 2;
+            readonly presolveError: 3;
+            readonly solveError: 4;
+            readonly postsolveError: 5;
+            readonly modelEmpty: 6;
+            readonly optimal: 7;
+            readonly infeasible: 8;
+            readonly unboundedOrInfeasible: 9;
+            readonly unbounded: 10;
+            readonly objectiveBound: 11;
+            readonly objectiveTarget: 12;
+            readonly timeLimit: 13;
+            readonly iterationLimit: 14;
+            readonly unknown: 15;
+            readonly solutionLimit: 16;
+            readonly interrupt: 17;
+        };
+    };
+    readonly errors: {
+        HighsError: typeof HighsError;
+        HighsUnsupportedOptionError: typeof HighsUnsupportedOptionError;
+    };
+    constructor(module: HighsEmscriptenModule);
+    withModel<T>(modelInput: {
+        format: "lp" | "mps";
+        data: string;
+    }, action: (m: HighsModel) => T): T;
+    solve(lpString: string, options?: Record<string, any>): HighsSolutionResult;
+}
+//# sourceMappingURL=driver.d.ts.map

package/dist/types/modeler/solvers/highs/driver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"driver.d.ts","sourceRoot":"","sources":["../../../../../src/modeler/solvers/highs/driver.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,WAAW,qBAAqB;IACpC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC;IAC5F,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IACrF,QAAQ,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAC5C,QAAQ,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACvD,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC;IAClC,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IACtE,WAAW,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC;IACpE,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAC9B,KAAK,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,EAAE,CAAC,EAAE;QACH,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU,EAAE,IAAI,CAAC,EAAE,GAAG,GAAG,IAAI,CAAC;QACrE,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;QAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,GAAG,UAAU,GAAG,MAAM,CAAC;KACzD,CAAC;IACF,OAAO,CAAC,EAAE,YAAY,CAAC;IACvB,MAAM,CAAC,EAAE,UAAU,CAAC;IACpB,MAAM,CAAC,EAAE,UAAU,CAAC;IACpB,KAAK,CAAC,EAAE,SAAS,CAAC;IAClB,UAAU,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC;CACjC;AAED,MAAM,WAAW,kBAAkB;IACjC,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC;IACvD,UAAU,CAAC,EAAE,WAAW,GAAG,UAAU,CAAC;IACtC,eAAe,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,eAAe,EAAE,CAAC,QAAQ,EAAE,GAAG,KAAK,IAAI,KAAK,GAAG,CAAC;IAClF,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/B,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;CACnC;AAED,MAAM,WAAW,mBAAmB;IAClC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,MAAM,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IAC7C,IAAI,CAAC,EAAE,gBAAgB,EAAE,CAAC;IAC1B,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,sBAAsB,CAAC,EAAE,OAAO,CAAC;CAClC;AAyBD,qBAAa,UAAW,SAAQ,KAAK;IACnC,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED,qBAAa,2BAA4B,SAAQ,UAAU;IACzD,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED,eAAO,MAAM,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAoBrD,CAAC;AAEF,eAAO,MAAM,eAAe;aAC1B,YAAY;iBACV,OAAO,EAAE,CAAC;iBACV,gBAAgB,EAAE,CAAC;iBACnB,YAAY,EAAE,CAAC;iBACf,WAAW,EAAE,CAAC;iBACd,oBAAoB,EAAE,CAAC;iBACvB,UAAU,EAAE,CAAC;iBACb,YAAY,EAAE,CAAC;iBACf,aAAa,EAAE,CAAC;iBAChB,wBAAwB,EAAE,CAAC;iBAC3B,eAAe,EAAE,CAAC;;aAEpB,cAAc;iBACZ,IAAI,EAAE,CAAC;iBACP,UAAU,EAAE,CAAC;iBACb,QAAQ,EAAE,CAAC;;aAEb,WAAW;iBACT,MAAM,EAAE,CAAC;iBACT,SAAS,EAAE,CAAC;iBACZ,UAAU,EAAE,CAAC;iBACb,aAAa,EAAE,CAAC;iBAChB,UAAU,EAAE,CAAC;iBACb,cAAc,EAAE,CAAC;iBACjB,UAAU,EAAE,CAAC;iBACb,OAAO,EAAE,CAAC;iBACV,UAAU,EAAE,CAAC;iBACb,qBAAqB,EAAE,CAAC;iBACxB,SAAS,EAAE,EAAE;iBACb,cAAc,EAAE,EAAE;iBAClB,eAAe,EAAE,EAAE;iBACnB,SAAS,EAAE,EAAE;iBACb,cAAc,EAAE,EAAE;iBAClB,OAAO,EAAE,EAAE;iBACX,aAAa,EAAE,EAAE;iBACjB,SAAS,EAAE,EAAE;;CAEP,CAAC;AAEX,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,MAAM,CAAC;IACrB,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;IACjC,UAAU,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;IACtC,OAAO,EAAE,MAAM,MAAM,CAAC;IACtB,SAAS,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC;IACvD,GAAG,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;IAC/B,SAAS,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;IACrC,SAAS,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;IACrC,QAAQ,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;IACpC,iBAAiB,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;IAC7C,cAAc,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;IAC1C,WAAW,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,MAAM,CAAC;IACzG,UAAU,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,MAAM,CAAC;IACpE,UAAU,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,MAAM,CAAC;IACpE,iBAAiB,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC;IAC5E,qBAAqB,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC;IACjE,kBAAkB,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,KAAK,MAAM,CAAC;IACjE,kBAAkB,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;IAC7E,iBAAiB,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;IAC5E,oBAAoB,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;IAC/E,oBAAoB,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;IAC/E,WAAW,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,MAAM,CAAC;IACzG,iBAAiB,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC;IACnG,eAAe,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC;IACzE,kBAAkB,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC;IAC5E,iBAAiB,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC;IAC3E,WAAW,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC;IAC9E,aAAa,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,KAAK,MAAM,CAAC;IAC/D,YAAY,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,KAAK,MAAM,CAAC;CAC/D;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,qBAAqB,GAAG,aAAa,CAgC/E;AAID,qBAAa,UAAU;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAS;IACnC,OAAO,CAAC,WAAW,CAAS;IAE5B,YAAY,MAAM,EAAE,qBAAqB,EAAE,QAAQ,EAAE,aAAa,EAAE,QAAQ,CAAC,EAAE,MAAM,EAKpF;IAED,qBAAqB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAK1C;IAED,kBAAkB,IAAI,MAAM,CAQ3B;IAED,QAAQ,CAAC,OAAO;QACd,GAAG,SAAS,MAAM,SAAS,GAAG,KAAG,IAAI;MAqBrC;IAEF,aAAa,IAAI;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAKpD;IAED,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAQ1C;IAED,UAAU,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAGnC;IAED,UAAU,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAGnC;IAED,WAAW,CAAC,GAAG,EAAE;QAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE,GAAG,IAAI,CAuCrF;IAED,GAAG,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,GAAG,KAAK,SAAS,CAAC,GAAG,MAAM,CAiFjE;IAED,cAAc,IAAI,MAAM,CAEvB;IAED,QAAQ,CAAC,IAAI;QACX,GAAG,SAAS,MAAM,KAAG,MAAM,GAAG,MAAM;MAqBpC;IAEF,WAAW,IAAI;QAAE,QAAQ,EAAE,YAAY,CAAC;QAAC,OAAO,EAAE,YAAY,CAAC;QAAC,QAAQ,EAAE,YAAY,CAAC;QAAC,OAAO,EAAE,YAAY,CAAA;KAAE,CAqB9G;IAED,iBAAiB,IAAI,MAAM,CAE1B;IAED,OAAO,IAAI,IAAI,CAcd;IAED,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI,CAEvB;CACF;AAED,qBAAa,KAAK;IAChB,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,SAAS;;qBAvYhB,OAAO,EAAE,CAAC;qBACV,gBAAgB,EAAE,CAAC;qBACnB,YAAY,EAAE,CAAC;qBACf,WAAW,EAAE,CAAC;qBACd,oBAAoB,EAAE,CAAC;qBACvB,UAAU,EAAE,CAAC;qBACb,YAAY,EAAE,CAAC;qBACf,aAAa,EAAE,CAAC;qBAChB,wBAAwB,EAAE,CAAC;qBAC3B,eAAe,EAAE,CAAC;;;qBAGlB,IAAI,EAAE,CAAC;qBACP,UAAU,EAAE,CAAC;qBACb,QAAQ,EAAE,CAAC;;;qBAGX,MAAM,EAAE,CAAC;qBACT,SAAS,EAAE,CAAC;qBACZ,UAAU,EAAE,CAAC;qBACb,aAAa,EAAE,CAAC;qBAChB,UAAU,EAAE,CAAC;qBACb,cAAc,EAAE,CAAC;qBACjB,UAAU,EAAE,CAAC;qBACb,OAAO,EAAE,CAAC;qBACV,UAAU,EAAE,CAAC;qBACb,qBAAqB,EAAE,CAAC;qBACxB,SAAS,EAAE,EAAE;qBACb,cAAc,EAAE,EAAE;qBAClB,eAAe,EAAE,EAAE;qBACnB,SAAS,EAAE,EAAE;qBACb,cAAc,EAAE,EAAE;qBAClB,OAAO,EAAE,EAAE;qBACX,aAAa,EAAE,EAAE;qBACjB,SAAS,EAAE,EAAE;;MAqWsB;IACrC,QAAQ,CAAC,MAAM;;;MAA+C;IAE9D,YAAY,MAAM,EAAE,qBAAqB,EAGxC;IAED,SAAS,CAAC,CAAC,EACT,UAAU,EAAE;QAAE,MAAM,EAAE,IAAI,GAAG,KAAK,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAClD,MAAM,EAAE,CAAC,CAAC,EAAE,UAAU,KAAK,CAAC,GAC3B,CAAC,CAwBH;IAED,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,GAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAM,GAAG,mBAAmB,CA8B9E;CACF"}

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

@@ -3,4 +3,5 @@ export * from "./loader.js";
 export * from "./worker-client.js";
 export * from "./worker-factory.js";
 export * from "./assets.js";
+export * from "./driver.js";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/modeler/solvers/highs/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,oBAAoB,CAAC;AACnC,cAAc,qBAAqB,CAAC;AACpC,cAAc,aAAa,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/modeler/solvers/highs/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,oBAAoB,CAAC;AACnC,cAAc,qBAAqB,CAAC;AACpC,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC"}

package/dist/types/modeler/solvers/highs/loader.d.ts

@@ -1,6 +1,8 @@
 import type { SolveOptions } from "../../types.js";
-export declare const OFFICIAL_HIGHS_CDN_WASM_URL = "https://cdn.jsdelivr.net/npm/highs@1.15.3/build/highs.wasm";
-type HighsInstance = any;
+import { Highs, HIGHS_STATUS_NAMES, HIGHS_CONSTANTS, HighsUnsupportedOptionError } from "./driver.js";
+export declare const OFFICIAL_HIGHS_CDN_WASM_URL = "https://cdn.jsdelivr.net/npm/highs@1.15.1/build/highs.wasm";
+export type HighsInstance = Highs;
+export { HIGHS_STATUS_NAMES, HIGHS_CONSTANTS, HighsUnsupportedOptionError, Highs };
 export declare function setHighsWasmUrl(url: string | null): void;
 export declare function getHighsWasmUrl(): string | null;
 /**
@@ -25,31 +27,54 @@ export declare function resolveBrowserWasmUrl(explicitUrl?: string): Promise<str
 export declare function getHighs(options?: SolveOptions): Promise<HighsInstance>;
 export interface RawHighsSolveResult {
     Status: string;
+    StatusCode?: number;
+    PrimalSolutionStatus?: number;
+    DualSolutionStatus?: number;
+    HasPrimalSolution?: boolean;
+    IsMip?: boolean;
     ObjectiveValue: number;
+    ObjectiveOffsetApplied?: boolean;
+    MipDualBound?: number;
+    MipGap?: number;
     Columns: Record<string, {
-        Index: number;
-        Lower: number;
-        Upper: number;
-        Type: string;
-        Primal: number;
+        Index?: number;
+        Lower?: number;
+        Upper?: number;
+        Type?: string;
+        Primal?: number;
         Dual?: number;
-        Name: string;
+        Name?: string;
     }>;
     Rows?: Record<string, {
         Index: number;
-        Lower: number;
-        Upper: number;
+        Lower?: number;
+        Upper?: number;
+        Dual?: number;
+        Primal?: number;
+        Name?: string;
+    }> | Array<{
+        Index: number;
+        Lower?: number;
+        Upper?: number;
         Dual?: number;
         Primal?: number;
-        Name: string;
+        Name?: string;
     }>;
 }
+export interface HighsIncumbentSnapshot {
+    objectiveValue: number;
+    mipDualBound?: number;
+    mipGap?: number;
+    columns: RawHighsSolveResult["Columns"];
+}
 /**
  * Solve an LP formatted model using HiGHS WASM
  */
-export declare function solveLpWithHighs(lpString: string, options?: SolveOptions): Promise<{
+export declare function solveLpWithHighs(lpString: string, options?: SolveOptions & {
+    initialValues?: Record<string, number>;
+    onIncumbent?: (incumbent: HighsIncumbentSnapshot) => void;
+}): Promise<{
     result: RawHighsSolveResult;
     runTime: number;
 }>;
-export {};
 //# sourceMappingURL=loader.d.ts.map

package/dist/types/modeler/solvers/highs/loader.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"loader.d.ts","sourceRoot":"","sources":["../../../../../src/modeler/solvers/highs/loader.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAInD,eAAO,MAAM,2BAA2B,+DACsB,CAAC;AAE/D,KAAK,aAAa,GAAG,GAAG,CAAC;AAMzB,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,QAKjD;AAED,wBAAgB,eAAe,IAAI,MAAM,GAAG,IAAI,CAE/C;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAQ5D;AAED;;;GAGG;AACH,wBAAsB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAgChE;AAED;;;;GAIG;AACH,wBAAsB,qBAAqB,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CASjF;AAED;;;GAGG;AACH,wBAAsB,QAAQ,CAAC,OAAO,GAAE,YAAiB,GAAG,OAAO,CAAC,aAAa,CAAC,CA8CjF;AAED,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE;QACtB,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,MAAM,CAAC;QACd,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,MAAM,CAAC;QACf,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,IAAI,EAAE,MAAM,CAAC;KACd,CAAC,CAAC;IACH,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QACpB,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,MAAM,CAAC;QACd,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,IAAI,EAAE,MAAM,CAAC;KACd,CAAC,CAAC;CACJ;AAED;;GAEG;AACH,wBAAsB,gBAAgB,CACpC,QAAQ,EAAE,MAAM,EAChB,OAAO,GAAE,YAAiB,GACzB,OAAO,CAAC;IAAE,MAAM,EAAE,mBAAmB,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,CA6B3D"}
+{"version":3,"file":"loader.d.ts","sourceRoot":"","sources":["../../../../../src/modeler/solvers/highs/loader.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAsB,MAAM,gBAAgB,CAAC;AAGvE,OAAO,EACL,KAAK,EAEL,kBAAkB,EAClB,eAAe,EACf,2BAA2B,EAC5B,MAAM,aAAa,CAAC;AAErB,eAAO,MAAM,2BAA2B,+DACsB,CAAC;AAE/D,MAAM,MAAM,aAAa,GAAG,KAAK,CAAC;AAClC,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,2BAA2B,EAAE,KAAK,EAAE,CAAC;AAMnF,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,QAKjD;AAED,wBAAgB,eAAe,IAAI,MAAM,GAAG,IAAI,CAE/C;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAQ5D;AAED;;;GAGG;AACH,wBAAsB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAgChE;AAED;;;;GAIG;AACH,wBAAsB,qBAAqB,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CASjF;AAED;;;GAGG;AACH,wBAAsB,QAAQ,CAAC,OAAO,GAAE,YAAiB,GAAG,OAAO,CAAC,aAAa,CAAC,CA8CjF;AAED,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,cAAc,EAAE,MAAM,CAAC;IACvB,sBAAsB,CAAC,EAAE,OAAO,CAAC;IACjC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE;QACtB,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,IAAI,CAAC,EAAE,MAAM,CAAC;KACf,CAAC,CAAC;IACH,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QACpB,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,IAAI,CAAC,EAAE,MAAM,CAAC;KACf,CAAC,GAAG,KAAK,CAAC;QACT,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,IAAI,CAAC,EAAE,MAAM,CAAC;KACf,CAAC,CAAC;CACJ;AAED,MAAM,WAAW,sBAAsB;IACrC,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,mBAAmB,CAAC,SAAS,CAAC,CAAC;CACzC;AAID;;GAEG;AACH,wBAAsB,gBAAgB,CACpC,QAAQ,EAAE,MAAM,EAChB,OAAO,GAAE,YAAY,GAAG;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACvC,WAAW,CAAC,EAAE,CAAC,SAAS,EAAE,sBAAsB,KAAK,IAAI,CAAC;CACtD,GACL,OAAO,CAAC;IAAE,MAAM,EAAE,mBAAmB,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,CA4c3D"}

package/dist/types/modeler/solvers/highs/node-runtime.d.ts

@@ -1,2 +1,3 @@
-export declare function loadNodeHighs(): Promise<any>;
+import { Highs } from "./driver.js";
+export declare function loadNodeHighs(): Promise<(options?: any) => Promise<Highs>>;
 //# sourceMappingURL=node-runtime.d.ts.map

package/dist/types/modeler/solvers/highs/node-runtime.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"node-runtime.d.ts","sourceRoot":"","sources":["../../../../../src/modeler/solvers/highs/node-runtime.ts"],"names":[],"mappings":"AAAA,wBAAsB,aAAa,IAAI,OAAO,CAAC,GAAG,CAAC,CAElD"}
+{"version":3,"file":"node-runtime.d.ts","sourceRoot":"","sources":["../../../../../src/modeler/solvers/highs/node-runtime.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEpC,wBAAsB,aAAa,IAAI,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,KAAK,OAAO,CAAC,KAAK,CAAC,CAAC,CA+ChF"}

package/dist/types/modeler/solvers/highs/solver.d.ts

@@ -1,11 +1,15 @@
-import type { Solver, SolverOptions, SolverResult } from "../types.js";
-import type { LpModelData, LpExportResult } from "../../lp-writer.js";
-import type { SolverStatus } from "../../types.js";
+import type { Solver, SolverOptions, SolverResult, SolveModelData } from "../types.js";
+import { type LpModelData, type LpExportResult } from "../../lp-writer.js";
+import type { SolverStatus, TerminationStatus } from "../../types.js";
+/**
+ * Map a raw HiGHS model status string or status code to WaSHI's standardized TerminationStatus.
+ */
+export declare function mapHighsTerminationStatus(rawStatus: unknown, statusCode?: number): TerminationStatus;
 /**
  * Map a raw HiGHS model status string to WaSHI's standardized SolverStatus.
  * Only verified optimality maps to "Optimal"; missing or unrecognized statuses map to "Unknown".
  */
-export declare function mapHighsStatus(rawStatus: unknown): SolverStatus;
+export declare function mapHighsStatus(rawStatus: unknown, statusCode?: number, hasPrimalSolution?: boolean): SolverStatus;
 /**
  * HiGHS Solver adapter (WebAssembly in Browser / Node.js)
  * High-performance simplex / interior point / branch-and-cut solver.
@@ -14,15 +18,18 @@ export declare class HighsSolver implements Solver {
     static readonly capabilities: {
         supportsMIP: boolean;
         supportsQP: boolean;
+        supportsWarmStart: boolean;
     };
     readonly name = "HiGHS";
-    readonly version = "1.15.3";
+    readonly version = "1.15.1";
     readonly capabilities: {
         supportsMIP: boolean;
         supportsQP: boolean;
+        supportsWarmStart: boolean;
     };
     options: SolverOptions;
     constructor(options?: SolverOptions);
+    solve(modelData: SolveModelData, options?: SolverOptions): Promise<SolverResult>;
     solve(modelData: LpModelData, lpResult: LpExportResult, options?: SolverOptions): Promise<SolverResult>;
 }
 /**

package/dist/types/modeler/solvers/highs/solver.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"solver.d.ts","sourceRoot":"","sources":["../../../../../src/modeler/solvers/highs/solver.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AACvE,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACtE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAGnD;;;GAGG;AACH,wBAAgB,cAAc,CAAC,SAAS,EAAE,OAAO,GAAG,YAAY,CAkE/D;AAED;;;GAGG;AACH,qBAAa,WAAY,YAAW,MAAM;IACxC,gBAAuB,YAAY;QACjC,WAAW;QACX,UAAU;MACV;IACF,SAAgB,IAAI,WAAW;IAC/B,SAAgB,OAAO,YAAY;IACnC,SAAgB,YAAY;;;MAA4B;IACjD,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,CAsEvB;CACF;AAED;;GAEG;AACH,eAAO,MAAM,KAAK,oBAAc,CAAC;AAGjC,wBAAgB,mBAAmB,IAAI,IAAI,CAG1C"}
+{"version":3,"file":"solver.d.ts","sourceRoot":"","sources":["../../../../../src/modeler/solvers/highs/solver.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AACvF,OAAO,EAIL,KAAK,WAAW,EAChB,KAAK,cAAc,EACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAItE;;GAEG;AACH,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,OAAO,EAClB,UAAU,CAAC,EAAE,MAAM,GAClB,iBAAiB,CAsInB;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAC5B,SAAS,EAAE,OAAO,EAClB,UAAU,CAAC,EAAE,MAAM,EACnB,iBAAiB,CAAC,EAAE,OAAO,GAC1B,YAAY,CA6Bd;AAED;;;GAGG;AACH,qBAAa,WAAY,YAAW,MAAM;IACxC,gBAAuB,YAAY;QACjC,WAAW;QACX,UAAU;QACV,iBAAiB;MACjB;IACF,SAAgB,IAAI,WAAW;IAC/B,SAAgB,OAAO,YAAY;IACnC,SAAgB,YAAY;;;;MAA4B;IACjD,OAAO,EAAE,aAAa,CAAC;IAE9B,YAAY,OAAO,GAAE,aAAkB,EAEtC;IAED,KAAK,CAAC,SAAS,EAAE,cAAc,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IACjF,KAAK,CACH,SAAS,EAAE,WAAW,EACtB,QAAQ,EAAE,cAAc,EACxB,OAAO,CAAC,EAAE,aAAa,GACtB,OAAO,CAAC,YAAY,CAAC,CAAC;CA8M1B;AAED;;GAEG;AACH,eAAO,MAAM,KAAK,oBAAc,CAAC;AAGjC,wBAAgB,mBAAmB,IAAI,IAAI,CAG1C"}

package/dist/types/modeler/solvers/highs/worker-client.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"worker-client.d.ts","sourceRoot":"","sources":["../../../../../src/modeler/solvers/highs/worker-client.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAEL,KAAK,mBAAmB,EAEzB,MAAM,aAAa,CAAC;AA8DrB;;;GAGG;AACH,wBAAsB,OAAO,CAC3B,QAAQ,EAAE,MAAM,EAChB,OAAO,GAAE,YAAY,GAAG;IAAE,SAAS,CAAC,EAAE,OAAO,CAAA;CAAO,GACnD,OAAO,CAAC;IAAE,MAAM,EAAE,mBAAmB,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,CA8B3D"}
+{"version":3,"file":"worker-client.d.ts","sourceRoot":"","sources":["../../../../../src/modeler/solvers/highs/worker-client.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAsB,MAAM,gBAAgB,CAAC;AACvE,OAAO,EAEL,KAAK,mBAAmB,EAGzB,MAAM,aAAa,CAAC;AAmMrB;;;GAGG;AACH,wBAAsB,OAAO,CAC3B,QAAQ,EAAE,MAAM,EAChB,OAAO,GAAE,YAAY,GAAG;IAAE,SAAS,CAAC,EAAE,OAAO,CAAA;CAAO,GACnD,OAAO,CAAC;IAAE,MAAM,EAAE,mBAAmB,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,CA2E3D"}

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

@@ -1,16 +1,24 @@
-import type { Solver, SolverOptions, SolverResult, SolverCapabilities } from "./types.js";
-import type { LpModelData, LpExportResult } from "../lp-writer.js";
-import type { SolverStatus } from "../types.js";
+import type { Solver, SolverOptions, SolverResult, SolverCapabilities, SolveModelData } from "./types.js";
+import { type LpModelData, type LpExportResult } from "../lp-writer.js";
+import type { SolverStatus, TerminationStatus, SolveProgressEvent } from "../types.js";
 export interface MockSolverOptions extends SolverOptions {
     name?: string;
     capabilities?: SolverCapabilities;
     status?: SolverStatus;
-    objectiveValue?: number;
+    terminationStatus?: TerminationStatus;
+    hasPrimalSolution?: boolean;
+    objectiveValue?: number | null;
+    objectiveBound?: number;
+    relGap?: number;
+    mipGap?: number;
+    absGap?: number;
     values?: Record<string, number>;
+    boolValues?: Record<string, boolean>;
     reducedCosts?: Record<string, number>;
     duals?: Record<string, number>;
     slacks?: Record<string, number>;
     delayMs?: number;
+    progressEvents?: SolveProgressEvent[];
 }
 /**
  * Mock / Dummy Solver for deterministic testing, CI/CD, or offline usage without WASM.
@@ -20,7 +28,8 @@ export declare class MockSolver implements Solver {
     readonly capabilities: SolverCapabilities;
     options: MockSolverOptions;
     constructor(options?: MockSolverOptions);
-    solve(_modelData: LpModelData, _lpResult: LpExportResult, options?: SolverOptions): Promise<SolverResult>;
+    solve(modelData: SolveModelData, options?: SolverOptions): Promise<SolverResult>;
+    solve(modelData: LpModelData, lpResult: LpExportResult, options?: SolverOptions): Promise<SolverResult>;
 }
 export declare function registerMockSolver(): void;
 //# sourceMappingURL=mock.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"mock.d.ts","sourceRoot":"","sources":["../../../../src/modeler/solvers/mock.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAC1F,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAEhD,MAAM,WAAW,iBAAkB,SAAQ,aAAa;IACtD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,YAAY,CAAC,EAAE,kBAAkB,CAAC;IAClC,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,qBAAa,UAAW,YAAW,MAAM;IACvC,SAAgB,IAAI,EAAE,MAAM,CAAC;IAC7B,SAAgB,YAAY,EAAE,kBAAkB,CAAC;IAC1C,OAAO,EAAE,iBAAiB,CAAC;IAElC,YAAY,OAAO,GAAE,iBAAsB,EAI1C;IAEK,KAAK,CACT,UAAU,EAAE,WAAW,EACvB,SAAS,EAAE,cAAc,EACzB,OAAO,GAAE,aAAkB,GAC1B,OAAO,CAAC,YAAY,CAAC,CAgBvB;CACF;AAGD,wBAAgB,kBAAkB,IAAI,IAAI,CAEzC"}
+{"version":3,"file":"mock.d.ts","sourceRoot":"","sources":["../../../../src/modeler/solvers/mock.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,MAAM,EACN,aAAa,EACb,YAAY,EACZ,kBAAkB,EAClB,cAAc,EACf,MAAM,YAAY,CAAC;AACpB,OAAO,EAAoB,KAAK,WAAW,EAAE,KAAK,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAC1F,OAAO,KAAK,EAAE,YAAY,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAEvF,MAAM,WAAW,iBAAkB,SAAQ,aAAa;IACtD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,YAAY,CAAC,EAAE,kBAAkB,CAAC;IAClC,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;IACtC,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACrC,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,cAAc,CAAC,EAAE,kBAAkB,EAAE,CAAC;CACvC;AAED;;GAEG;AACH,qBAAa,UAAW,YAAW,MAAM;IACvC,SAAgB,IAAI,EAAE,MAAM,CAAC;IAC7B,SAAgB,YAAY,EAAE,kBAAkB,CAAC;IAC1C,OAAO,EAAE,iBAAiB,CAAC;IAElC,YAAY,OAAO,GAAE,iBAAsB,EAQ1C;IAED,KAAK,CAAC,SAAS,EAAE,cAAc,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IACjF,KAAK,CACH,SAAS,EAAE,WAAW,EACtB,QAAQ,EAAE,cAAc,EACxB,OAAO,CAAC,EAAE,aAAa,GACtB,OAAO,CAAC,YAAY,CAAC,CAAC;CA4H1B;AAGD,wBAAgB,kBAAkB,IAAI,IAAI,CAEzC"}

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

@@ -1,18 +1,66 @@
-import type { SolverStatus } from "../types.js";
-import type { LpModelData, LpExportResult } from "../lp-writer.js";
+import type { OptimizationSense, SolverStatus, TerminationStatus, SolveProgressEvent } from "../types.js";
+import type { Var } from "../variable.js";
+import type { LinExpr } from "../expression.js";
+import type { QuadExpr } from "../quad-expr.js";
+import type { Constraint } from "../constraint.js";
+import type { BoolVar, LogicElement } from "../boolean-expr.js";
+/**
+ * Named logical constraint entry in a model snapshot.
+ */
+export interface LogicalConstraintItem {
+    name: string;
+    expr: LogicElement;
+}
+/**
+ * Typed model snapshot passed to `Solver.check()` (objective-free satisfiability / feasibility).
+ *
+ * Each entity in `variables`, `boolVars`, and `constraints` carries its own model-unique
+ * `.name` (and numeric `.id`), while `logicalConstraints` entries carry their `.name` and
+ * AST `.expr`. Adapters should key returned `values`, `duals`, `reducedCosts`, `slacks`,
+ * and `unsatCore` by these canonical model names (`v.name`, `bv.name`, `c.name`, `lc.name`),
+ * keeping any backend-specific identifier sanitization internal to the adapter.
+ */
+export interface CheckModelData {
+    name?: string;
+    variables: Var[];
+    boolVars?: BoolVar[];
+    constraints: Constraint[];
+    logicalConstraints?: LogicalConstraintItem[];
+}
+/**
+ * Typed model snapshot passed to `Solver.solve()` (optimization with an objective).
+ */
+export interface SolveModelData extends CheckModelData {
+    sense: OptimizationSense;
+    objective: LinExpr | QuadExpr;
+}
 /**
  * Normalized solution result returned by any solver adapter
  */
 export interface SolverResult {
     status: SolverStatus;
+    /** Exact termination reason independent of whether a feasible incumbent is available */
+    terminationStatus?: TerminationStatus;
+    /** Whether a feasible primal solution / incumbent is available */
+    hasPrimalSolution?: boolean;
     objectiveValue: number | null;
-    /** Variable primal values (keyed by variable name or ID) */
+    /** Best proven dual/objective bound when provided by the solver */
+    objectiveBound?: number;
+    /** Relative MIP optimality gap when provided by the solver */
+    relGap?: number;
+    /** Alias for relGap: relative MIP optimality gap when provided by the solver */
+    mipGap?: number;
+    /** Absolute MIP optimality gap |objectiveValue - objectiveBound| when provided by the solver */
+    absGap?: number;
+    /** Variable primal values (keyed by canonical variable name) */
     values: Record<string, number>;
-    /** Variable reduced costs (optional) */
+    /** Boolean variable assignments (optional, keyed by canonical BoolVar name) */
+    boolValues?: Record<string, boolean>;
+    /** Variable reduced costs (optional, keyed by canonical variable name) */
     reducedCosts?: Record<string, number>;
-    /** Constraint dual values (optional) */
+    /** Constraint dual values (optional, keyed by canonical constraint name) */
     duals?: Record<string, number>;
-    /** Constraint slacks (optional) */
+    /** Constraint slacks (optional, keyed by canonical constraint name) */
     slacks?: Record<string, number>;
     /** Solution time in seconds */
     runTime?: number;
@@ -30,12 +78,22 @@ export interface SolverOptions {
     presolve?: "on" | "off" | "choose";
     /** Relative MIP gap tolerance (e.g. 0.01 for 1%) */
     mipGap?: number;
+    /** Relative MIP gap tolerance alias */
+    relGap?: number;
+    /** Absolute MIP gap tolerance */
+    absGap?: number;
     /** Number of parallel threads */
     threads?: number;
     /** Enable verbose solver logging */
     verbose?: boolean;
+    /** Solve the continuous/LP relaxation of the model by relaxing integer and binary variables */
+    relax?: boolean;
     /** Use Web Worker for non-blocking browser execution */
     useWorker?: boolean;
+    /** AbortSignal to cancel an in-flight solve */
+    signal?: AbortSignal;
+    /** Callback invoked with real solver progress metrics when available */
+    onProgress?: (progress: SolveProgressEvent) => void;
     /** Additional solver-specific options */
     [key: string]: any;
 }
@@ -53,18 +111,22 @@ export interface SolverCapabilities {
     supportsSMT?: boolean;
     /** Supports extracting an unsatisfiable core (conflicting constraint subset; minimality is not guaranteed) */
     supportsUnsatCore?: boolean;
+    /** Supports primal initial values (MIP starts / warm-start hints) */
+    supportsWarmStart?: boolean;
 }
 export interface SolverCheckResult {
     status: "Sat" | "Unsat" | "Unknown";
     values: Record<string, number | boolean>;
-    unsatCore?: string[];
+    unsatCore?: readonly string[];
+    /** Alias for unsatCore: subset of conflicting constraints causing infeasibility */
+    conflicts?: readonly string[];
     runTime?: number;
     logs?: string[];
     raw?: any;
 }
 /**
  * Universal Solver interface.
- * Any optimization engine (HiGHS WASM, GLPK, Gurobi Remote, CBC, SCIP, custom JS)
+ * Any optimization engine (HiGHS WASM, GLPK, Z3, Gurobi Remote, CBC, SCIP, custom JS)
  * implements this interface to be used interchangeably with Model.
  */
 export interface Solver {
@@ -77,10 +139,10 @@ export interface Solver {
     /**
      * Solve the given mathematical programming model data
      */
-    solve(modelData: LpModelData, lpResult: LpExportResult, options?: SolverOptions): Promise<SolverResult>;
+    solve(modelData: SolveModelData, options?: SolverOptions): Promise<SolverResult>;
     /**
-     * Check satisfiability of the model and logical constraints (optional)
+     * Check satisfiability of the model and logical constraints without an objective (optional)
      */
-    check?(modelData: any, options?: SolverOptions): Promise<SolverCheckResult>;
+    check?(modelData: CheckModelData, options?: SolverOptions): Promise<SolverCheckResult>;
 }
 //# sourceMappingURL=types.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/modeler/solvers/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEnE;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,YAAY,CAAC;IACrB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,4DAA4D;IAC5D,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,wCAAwC;IACxC,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,wCAAwC;IACxC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,mCAAmC;IACnC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,+BAA+B;IAC/B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,2CAA2C;IAC3C,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,GAAG,CAAC,EAAE,GAAG,CAAC;CACX;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,0CAA0C;IAC1C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,oBAAoB;IACpB,QAAQ,CAAC,EAAE,IAAI,GAAG,KAAK,GAAG,QAAQ,CAAC;IACnC,oDAAoD;IACpD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,iCAAiC;IACjC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,oCAAoC;IACpC,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,wDAAwD;IACxD,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,yCAAyC;IACzC,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,oEAAoE;IACpE,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,yCAAyC;IACzC,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,mDAAmD;IACnD,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,oEAAoE;IACpE,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,8GAA8G;IAC9G,iBAAiB,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;IACpC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,CAAC;IACzC,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,GAAG,CAAC,EAAE,GAAG,CAAC;CACX;AAED;;;;GAIG;AACH,MAAM,WAAW,MAAM;IACrB,2CAA2C;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,mCAAmC;IACnC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,0CAA0C;IAC1C,QAAQ,CAAC,YAAY,CAAC,EAAE,kBAAkB,CAAC;IAC3C;;OAEG;IACH,KAAK,CACH,SAAS,EAAE,WAAW,EACtB,QAAQ,EAAE,cAAc,EACxB,OAAO,CAAC,EAAE,aAAa,GACtB,OAAO,CAAC,YAAY,CAAC,CAAC;IACzB;;OAEG;IACH,KAAK,CAAC,CACJ,SAAS,EAAE,GAAG,EACd,OAAO,CAAC,EAAE,aAAa,GACtB,OAAO,CAAC,iBAAiB,CAAC,CAAC;CAC/B"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/modeler/solvers/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,iBAAiB,EACjB,YAAY,EACZ,iBAAiB,EACjB,kBAAkB,EACnB,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEhE;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,YAAY,CAAC;CACpB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,GAAG,EAAE,CAAC;IACjB,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC;IACrB,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,kBAAkB,CAAC,EAAE,qBAAqB,EAAE,CAAC;CAC9C;AAED;;GAEG;AACH,MAAM,WAAW,cAAe,SAAQ,cAAc;IACpD,KAAK,EAAE,iBAAiB,CAAC;IACzB,SAAS,EAAE,OAAO,GAAG,QAAQ,CAAC;CAC/B;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,YAAY,CAAC;IACrB,wFAAwF;IACxF,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;IACtC,kEAAkE;IAClE,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,mEAAmE;IACnE,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,8DAA8D;IAC9D,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,gFAAgF;IAChF,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,gGAAgG;IAChG,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,gEAAgE;IAChE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,+EAA+E;IAC/E,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACrC,0EAA0E;IAC1E,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,4EAA4E;IAC5E,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,uEAAuE;IACvE,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,+BAA+B;IAC/B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,2CAA2C;IAC3C,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,GAAG,CAAC,EAAE,GAAG,CAAC;CACX;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,0CAA0C;IAC1C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,oBAAoB;IACpB,QAAQ,CAAC,EAAE,IAAI,GAAG,KAAK,GAAG,QAAQ,CAAC;IACnC,oDAAoD;IACpD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,uCAAuC;IACvC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,iCAAiC;IACjC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,iCAAiC;IACjC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,oCAAoC;IACpC,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,+FAA+F;IAC/F,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,wDAAwD;IACxD,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,+CAA+C;IAC/C,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,wEAAwE;IACxE,UAAU,CAAC,EAAE,CAAC,QAAQ,EAAE,kBAAkB,KAAK,IAAI,CAAC;IACpD,yCAAyC;IACzC,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,oEAAoE;IACpE,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,yCAAyC;IACzC,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,mDAAmD;IACnD,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,oEAAoE;IACpE,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,8GAA8G;IAC9G,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,qEAAqE;IACrE,iBAAiB,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;IACpC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,CAAC;IACzC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,mFAAmF;IACnF,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,GAAG,CAAC,EAAE,GAAG,CAAC;CACX;AAED;;;;GAIG;AACH,MAAM,WAAW,MAAM;IACrB,2CAA2C;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,mCAAmC;IACnC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,0CAA0C;IAC1C,QAAQ,CAAC,YAAY,CAAC,EAAE,kBAAkB,CAAC;IAC3C;;OAEG;IACH,KAAK,CACH,SAAS,EAAE,cAAc,EACzB,OAAO,CAAC,EAAE,aAAa,GACtB,OAAO,CAAC,YAAY,CAAC,CAAC;IACzB;;OAEG;IACH,KAAK,CAAC,CACJ,SAAS,EAAE,cAAc,EACzB,OAAO,CAAC,EAAE,aAAa,GACtB,OAAO,CAAC,iBAAiB,CAAC,CAAC;CAC/B"}

package/dist/types/modeler/solvers/z3/loader.d.ts

@@ -1,7 +1,6 @@
 type Z3Instance = any;
-export declare function unlockAllZ3Semaphores(error?: Error): void;
-export declare function registerZ3ErrorHandler(handler: (err: Error) => void): () => void;
-export declare function notifyZ3WorkerError(err: any): void;
+export declare function registerZ3ErrorHandler(handler: (err: Error) => void, instance?: Z3Instance): () => void;
+export declare function notifyZ3WorkerError(err: unknown): void;
 /**
  * Configure explicit URLs for Z3 assets (z3-built.js and z3-built.wasm).
  */

package/dist/types/modeler/solvers/z3/loader.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"loader.d.ts","sourceRoot":"","sources":["../../../../../src/modeler/solvers/z3/loader.ts"],"names":[],"mappings":"AAEA,KAAK,UAAU,GAAG,GAAG,CAAC;AAyBtB,wBAAgB,qBAAqB,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,IAAI,CAazD;AA+BD,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,KAAK,KAAK,IAAI,GAAG,MAAM,IAAI,CAGhF;AAED,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,CAyBlD;AAkED;;GAEG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE;IAAE,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,GAAG,IAAI,CAI1F;AAED;;GAEG;AACH,wBAAgB,kBAAkB,IAAI,IAAI,CAGzC;AAED;;GAEG;AACH,wBAAgB,4BAA4B,IAAI,IAAI,CA4BnD;AAED;;;;GAIG;AACH,wBAAsB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAsCjF;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,GAAE;IAAE,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAA;CAAO,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAiBjJ;AAED;;;;GAIG;AACH,wBAAsB,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAuFpE;AAED;;GAEG;AACH,wBAAsB,MAAM,CAAC,OAAO,GAAE;IAAE,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAA;CAAO,GAAG,OAAO,CAAC,UAAU,CAAC,CAqG5H;AAED;;GAEG;AACH,wBAAsB,aAAa,CAAC,UAAU,CAAC,EAAE,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CA2BnE"}
+{"version":3,"file":"loader.d.ts","sourceRoot":"","sources":["../../../../../src/modeler/solvers/z3/loader.ts"],"names":[],"mappings":"AAEA,KAAK,UAAU,GAAG,GAAG,CAAC;AAkEtB,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,KAAK,KAAK,IAAI,EAAE,QAAQ,CAAC,EAAE,UAAU,GAAG,MAAM,IAAI,CASvG;AAED,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,OAAO,GAAG,IAAI,CAEtD;AAkED;;GAEG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE;IAAE,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,GAAG,IAAI,CAI1F;AAED;;GAEG;AACH,wBAAgB,kBAAkB,IAAI,IAAI,CAGzC;AAED;;GAEG;AACH,wBAAgB,4BAA4B,IAAI,IAAI,CA4BnD;AAED;;;;GAIG;AACH,wBAAsB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAsCjF;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,GAAE;IAAE,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAA;CAAO,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAiBjJ;AAED;;;;GAIG;AACH,wBAAsB,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAuFpE;AAED;;GAEG;AACH,wBAAsB,MAAM,CAAC,OAAO,GAAE;IAAE,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAA;CAAO,GAAG,OAAO,CAAC,UAAU,CAAC,CAwG5H;AAED;;GAEG;AACH,wBAAsB,aAAa,CAAC,UAAU,CAAC,EAAE,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAgBnE"}