@ohtaman/washi 0.1.0 → 0.1.2

package/dist/lib/z3-C6GeIicJ.js

@@ -0,0 +1,509 @@
+import { c as e, o as t } from "./highs-loader-Blb99785.js";
+import { t as n } from "./glpk-5cUpjyb9.js";
+import { createHighsWorker as r } from "./highs-worker-factory.js";
+//#region src/modeler/boolean-expr.ts
+var i = 0, a = class {
+	and(e) {
+		return new s("and", [this, e]);
+	}
+	or(e) {
+		return new s("or", [this, e]);
+	}
+	implies(e) {
+		return new s("implies", [this, e]);
+	}
+	xor(e) {
+		return new s("xor", [this, e]);
+	}
+	not() {
+		return new s("not", [this]);
+	}
+}, o = class extends a {
+	id;
+	name;
+	value = null;
+	constructor(e) {
+		super(), this.id = ++i, this.name = e || `p_${this.id}`;
+	}
+	toString() {
+		return this.name;
+	}
+}, s = class extends a {
+	op;
+	children;
+	constructor(e, t) {
+		super(), this.op = e, this.children = t;
+	}
+	toString() {
+		return this.op === "not" ? `not(${this.children[0].toString()})` : `(${this.children.map((e) => e.toString()).join(` ${this.op} `)})`;
+	}
+};
+function c(...e) {
+	if (e.length === 0) throw Error("and() requires at least one expression");
+	return new s("and", e);
+}
+function l(...e) {
+	if (e.length === 0) throw Error("or() requires at least one expression");
+	return new s("or", e);
+}
+function u(e) {
+	return new s("not", [e]);
+}
+function d(e, t) {
+	return new s("implies", [e, t]);
+}
+function f(...e) {
+	if (e.length === 0) throw Error("xor() requires at least one expression");
+	return new s("xor", e);
+}
+//#endregion
+//#region src/modeler/constraint.ts
+var p = 0, m = class {
+	id;
+	lhs;
+	sense;
+	rhs;
+	name;
+	slack = null;
+	dual = null;
+	constructor(e, t, n, r) {
+		this.id = ++p, this.lhs = e, this.sense = t, this.rhs = n, this.name = r || `c_${this.id}`;
+	}
+	get pi() {
+		return this.dual;
+	}
+	and(e) {
+		return new s("and", [this, e]);
+	}
+	or(e) {
+		return new s("or", [this, e]);
+	}
+	implies(e) {
+		return new s("implies", [this, e]);
+	}
+	xor(e) {
+		return new s("xor", [this, e]);
+	}
+	not() {
+		return new s("not", [this]);
+	}
+	toString() {
+		let e = this.sense === "==" ? "=" : this.sense;
+		return `${this.name}: ${this.lhs.toString()} ${e} ${this.rhs}`;
+	}
+}, h = null, g = 0, _ = /* @__PURE__ */ new Map();
+function v() {
+	if (typeof window > "u" || typeof Worker > "u") return null;
+	if (!h) try {
+		h = r();
+		let e = h;
+		h.onmessage = (e) => {
+			let { type: t, id: n, result: r, runTime: i, error: a } = e.data, o = _.get(n);
+			o && (_.delete(n), t === "SOLVE_SUCCESS" ? o.resolve({
+				result: r,
+				runTime: i
+			}) : o.reject(Error(a || "Worker solve failed")));
+		};
+		let t = (t) => {
+			if (h === e) {
+				h = null, e.terminate();
+				for (let e of _.values()) e.reject(t);
+				_.clear();
+			}
+		};
+		h.onerror = (e) => t(/* @__PURE__ */ Error(`[WaSHI] HiGHS Worker failed to load or execute. Check Worker assets, CORS and CSP. ${e.message || ""}`)), h.onmessageerror = () => t(/* @__PURE__ */ Error("[WaSHI] Could not deserialize the HiGHS Worker response."));
+	} catch (e) {
+		console.warn("Could not instantiate Web Worker, falling back to main thread:", e), h = null;
+	}
+	return h;
+}
+async function y(n, r = {}) {
+	let i = await t(r.wasmUrl), a = r.useWorker ?? typeof window < "u" ? v() : null;
+	if (!a) return e(n, r);
+	let o = {
+		...r,
+		wasmUrl: i
+	}, s = `req_${++g}`;
+	return new Promise((e, t) => {
+		_.set(s, {
+			resolve: e,
+			reject: t
+		});
+		try {
+			a.postMessage({
+				type: "SOLVE",
+				id: s,
+				lpString: n,
+				options: o
+			});
+		} catch (e) {
+			_.delete(s), t(e);
+		}
+	});
+}
+//#endregion
+//#region src/modeler/solvers/highs.ts
+function b(e) {
+	if (typeof e != "string") return "Unknown";
+	let t = e.trim();
+	if (!t) return "Unknown";
+	switch (t) {
+		case "Optimal": return "Optimal";
+		case "Infeasible": return "Infeasible";
+		case "Unbounded": return "Unbounded";
+		case "Primal infeasible or unbounded": return "Unknown";
+		case "Time limit reached":
+		case "TimeLimit": return "TimeLimit";
+		case "Iteration limit reached":
+		case "IterationLimit": return "IterationLimit";
+		case "Bound on objective reached":
+		case "Target for objective reached":
+		case "Feasible": return "Feasible";
+		case "Not Set": return "NotSolved";
+		case "Load error":
+		case "Model error":
+		case "Presolve error":
+		case "Solve error":
+		case "Postsolve error":
+		case "Error": return "Error";
+		case "Empty":
+		case "Unknown": return "Unknown";
+	}
+	let n = t.toLowerCase();
+	return n.includes("infeasible") && n.includes("unbounded") ? "Unknown" : n.includes("infeasible") ? "Infeasible" : n.includes("unbounded") ? "Unbounded" : n.includes("time limit") || n.includes("timelimit") ? "TimeLimit" : n.includes("iteration limit") || n.includes("iterationlimit") ? "IterationLimit" : n.includes("error") ? "Error" : n === "optimal" ? "Optimal" : "Unknown";
+}
+var x = class e {
+	static capabilities = {
+		supportsMIP: !0,
+		supportsQP: !0
+	};
+	name = "HiGHS";
+	version = "1.15.3";
+	capabilities = e.capabilities;
+	options;
+	constructor(e = {}) {
+		this.options = e;
+	}
+	async solve(e, t, n = {}) {
+		let r = {
+			...this.options,
+			...n
+		}, { lpString: i, nameToVar: a, nameToConstraint: o } = t, { result: s, runTime: c } = await y(i, r), l = b(s?.Status), u = s.ObjectiveValue, d = typeof u == "number" ? u + e.objective.constant : null, f = {}, p = {}, m = {}, h = {};
+		if (s.Columns) for (let [e, t] of Object.entries(s.Columns)) {
+			let n = a.get(e);
+			if (n) {
+				let e = Math.abs(t.Primal) < 1e-9 ? 0 : t.Primal;
+				f[n.name] = e, t.Dual !== void 0 && (m[n.name] = Math.abs(t.Dual) < 1e-9 ? 0 : t.Dual);
+			}
+		}
+		if (s.Rows) {
+			let e = Array.isArray(s.Rows) ? s.Rows : Object.values(s.Rows);
+			for (let t of e) {
+				let e = t.Name, n = o.get(e);
+				if (n && (t.Dual !== void 0 && (p[n.name] = Math.abs(t.Dual) < 1e-9 ? 0 : t.Dual), t.Primal !== void 0)) {
+					let e = n.rhs - t.Primal;
+					h[n.name] = Math.abs(e) < 1e-9 ? 0 : e;
+				}
+			}
+		}
+		return {
+			status: l,
+			objectiveValue: d,
+			values: f,
+			reducedCosts: m,
+			duals: p,
+			slacks: h,
+			runTime: c,
+			raw: s
+		};
+	}
+}, S = x, C = class {
+	name;
+	capabilities;
+	options;
+	constructor(e = {}) {
+		this.name = e.name || "MockSolver", this.capabilities = e.capabilities || {
+			supportsMIP: !0,
+			supportsQP: !0
+		}, this.options = e;
+	}
+	async solve(e, t, n = {}) {
+		let r = {
+			...this.options,
+			...n
+		};
+		return r.delayMs && r.delayMs > 0 && await new Promise((e) => setTimeout(e, r.delayMs)), {
+			status: r.status || "Optimal",
+			objectiveValue: r.objectiveValue ?? 0,
+			values: r.values || {},
+			reducedCosts: r.reducedCosts,
+			duals: r.duals,
+			slacks: r.slacks,
+			runTime: .001,
+			raw: { mock: !0 }
+		};
+	}
+}, w = /* @__PURE__ */ new Map();
+w.set("highs", (e) => new x(e)), w.set("glpk", (e) => new n(e)), w.set("mock", (e) => new C(e));
+var T = (e) => new x(e);
+function E(e, t) {
+	w.set(e.toLowerCase(), t);
+}
+function D(e) {
+	if (typeof e == "string") {
+		let t = w.get(e.toLowerCase());
+		if (!t) throw Error(`Solver '${e}' is not registered.`);
+		T = t;
+	} else T = typeof e == "function" ? e : () => e;
+}
+function O(e, t) {
+	if (!e) return T(t);
+	if (typeof e == "string") {
+		let n = w.get(e.toLowerCase());
+		if (!n) throw Error(`Solver '${e}' not found. Available solvers: ${k().join(", ")}`);
+		return n(t);
+	}
+	return e;
+}
+function k() {
+	return Array.from(w.keys());
+}
+//#endregion
+//#region src/modeler/solvers/z3.ts
+var A = null;
+async function j() {
+	if (!A) {
+		let e = (async () => {
+			try {
+				return await (await import("z3-solver")).init();
+			} catch (e) {
+				throw Error(`[WaSHI] Failed to load z3-solver. Ensure the optional dependency is installed (npm install z3-solver) and supported in this environment. Error: ${e instanceof Error ? e.message : String(e)}`, { cause: e });
+			}
+		})();
+		e.catch(() => {
+			A === e && (A = null);
+		}), A = e;
+	}
+	return A;
+}
+function M() {
+	A = null;
+}
+var N = class {
+	name = "z3";
+	capabilities = {
+		supportsMIP: !0,
+		supportsQP: !1,
+		supportsSMT: !0,
+		supportsUnsatCore: !0
+	};
+	createContextTranslator(e) {
+		let t = /* @__PURE__ */ new Map(), n = /* @__PURE__ */ new Map();
+		function r(n) {
+			if (!t.has(n.name)) {
+				let r = n.type === "Continuous" || n.type === "CONTINUOUS" ? e.Real.const(n.name) : e.Int.const(n.name);
+				t.set(n.name, r);
+			}
+			return t.get(n.name);
+		}
+		function i(t) {
+			if (!n.has(t.name)) {
+				let r = e.Bool.const(t.name);
+				n.set(t.name, r);
+			}
+			return n.get(t.name);
+		}
+		function a(t) {
+			return typeof e.isInt == "function" && e.isInt(t) ? e.ToReal(t) : t;
+		}
+		function c(t, n) {
+			let r = typeof e.isInt == "function" && e.isInt(t), i = typeof e.isInt == "function" && e.isInt(n);
+			return r && i ? t.add(n) : a(t).add(a(n));
+		}
+		function l(t, n) {
+			return typeof e.isInt == "function" && e.isInt(t) && Number.isInteger(n) ? t.mul(e.Int.val(n)) : a(t).mul(e.Real.val(n));
+		}
+		function u(t, n) {
+			let r = typeof e.isInt == "function" && e.isInt(t), i = typeof e.isInt == "function" && e.isInt(n);
+			return r && i ? t.mul(n) : a(t).mul(a(n));
+		}
+		function d(t, n) {
+			return n && Number.isInteger(t) ? e.Int.val(t) : e.Real.val(t);
+		}
+		function f(t, n, r) {
+			let i = typeof e.isInt == "function" && e.isInt(t) && Number.isInteger(r), o = i ? t : a(t), s = i ? e.Int.val(r) : e.Real.val(r);
+			return n === "<=" ? o.le(s) : n === ">=" ? o.ge(s) : o.eq(s);
+		}
+		function p(t) {
+			let n = null;
+			if (t && t.terms) for (let [e, i] of t.terms.entries()) {
+				let t = l(r(e), i);
+				n = n === null ? t : c(n, t);
+			}
+			let i = t && typeof t.constant == "number" ? t.constant : 0;
+			if (i !== 0 || n === null) {
+				let t = d(i, n === null || typeof e.isInt == "function" && e.isInt(n));
+				n = n === null ? t : c(n, t);
+			}
+			return n;
+		}
+		function h(t) {
+			let n = null;
+			if (t.linearTerms) for (let [e, i] of t.linearTerms.entries()) {
+				let t = l(r(e), i);
+				n = n === null ? t : c(n, t);
+			}
+			if (t.quadTerms) for (let e of t.quadTerms.values()) {
+				let t = l(u(r(e.var1), r(e.var2)), e.coeff);
+				n = n === null ? t : c(n, t);
+			}
+			let i = t && typeof t.constant == "number" ? t.constant : 0;
+			if (i !== 0 || n === null) {
+				let t = d(i, n === null || typeof e.isInt == "function" && e.isInt(n));
+				n = n === null ? t : c(n, t);
+			}
+			return n;
+		}
+		function g(e) {
+			let t = e.lhs instanceof Object && "quadTerms" in e.lhs ? h(e.lhs) : p(e.lhs), n = typeof e.rhs == "number" ? e.rhs : 0;
+			return f(t, e.sense, n);
+		}
+		function _(t) {
+			if (t instanceof o) return i(t);
+			if (t instanceof m) return g(t);
+			if (t instanceof s) switch (t.op) {
+				case "and": return e.And(...t.children.map(_));
+				case "or": return e.Or(...t.children.map(_));
+				case "not": return e.Not(_(t.children[0]));
+				case "implies": return e.Implies(_(t.children[0]), _(t.children[1]));
+				case "xor": return e.Xor(_(t.children[0]), _(t.children[1]));
+				default: throw Error(`Unsupported boolean operation: ${t.op}`);
+			}
+			throw Error(`Unknown logic element: ${String(t)}`);
+		}
+		function v(e) {
+			if (!e) return 0;
+			if (typeof e.asNumber == "function") return e.asNumber();
+			let t = e.toString();
+			if (t.startsWith("(/ ")) {
+				let e = t.slice(3, -1).trim().split(/\s+/);
+				if (e.length === 2) return Number(e[0]) / Number(e[1]);
+			}
+			return Number(t);
+		}
+		return {
+			getVarAst: r,
+			getBoolVarAst: i,
+			compareAstWithNumber: f,
+			translateLinExpr: p,
+			translateQuadExpr: h,
+			translateConstraint: g,
+			translateBoolExpr: _,
+			parseAstValue: v,
+			varAstMap: t,
+			boolVarAstMap: n
+		};
+	}
+	async check(e, t = {}) {
+		let { Context: n } = await j(), r = new n(`check_${Date.now()}_${Math.random().toString(36).substring(2, 7)}`), i = new r.Solver(), a = this.createContextTranslator(r), o = e.variables || e.vars || [], s = e.boolVars || [], c = e.constraints || [], l = e.logicalConstraints || [];
+		for (let e of o) {
+			let t = a.getVarAst(e);
+			e.lb !== -Infinity && i.add(a.compareAstWithNumber(t, ">=", e.lb)), e.ub !== Infinity && i.add(a.compareAstWithNumber(t, "<=", e.ub)), (e.type === "Binary" || e.type === "BINARY") && (i.add(a.compareAstWithNumber(t, ">=", 0)), i.add(a.compareAstWithNumber(t, "<=", 1)));
+		}
+		for (let e of c) {
+			let t = a.translateConstraint(e), n = r.Bool.const(e.name);
+			i.addAndTrack(t, n);
+		}
+		for (let e = 0; e < l.length; e++) {
+			let t = l[e], n = t && t.name || `lc_${e + 1}`, o = t && t.expr || t, s = a.translateBoolExpr(o), c = r.Bool.const(n);
+			i.addAndTrack(s, c);
+		}
+		let u = (await i.check()).toString();
+		if (u === "sat") {
+			let e = i.model(), t = {};
+			for (let n of o) {
+				let r = a.getVarAst(n), i = e.eval(r);
+				t[n.name] = a.parseAstValue(i);
+			}
+			for (let n of s) {
+				let r = a.getBoolVarAst(n), i = e.eval(r);
+				t[n.name] = i.toString() === "true";
+			}
+			return {
+				status: "Sat",
+				values: t
+			};
+		}
+		if (u === "unsat") {
+			let e = i.unsatCore(), t = [], n = typeof e.length == "function" ? e.length() : e.length;
+			for (let r = 0; r < n; r++) t.push(e.get(r).toString());
+			return {
+				status: "Unsat",
+				values: {},
+				unsatCore: t
+			};
+		}
+		return {
+			status: "Unknown",
+			values: {}
+		};
+	}
+	async solve(e, t, n = {}) {
+		if (!(e.objective !== null && e.objective !== void 0 && ("terms" in e.objective && e.objective.terms.size > 0 || "quadTerms" in e.objective && e.objective.quadTerms.length > 0 || e.objective.offset && e.objective.offset !== 0))) {
+			let t = await this.check(e, n), r = {};
+			for (let [e, n] of Object.entries(t.values)) r[e] = typeof n == "boolean" ? +!!n : n;
+			return {
+				status: t.status === "Sat" ? "Optimal" : t.status === "Unsat" ? "Infeasible" : "Error",
+				objectiveValue: 0,
+				values: r
+			};
+		}
+		let { Context: r } = await j(), i = new r(`opt_${Date.now()}_${Math.random().toString(36).substring(2, 7)}`), a = new i.Optimize(), o = this.createContextTranslator(i), s = e.variables || e.vars || [], c = e.boolVars || [], l = e.constraints || [], u = e.logicalConstraints || [];
+		for (let e of s) {
+			let t = o.getVarAst(e);
+			e.lb !== -Infinity && a.add(o.compareAstWithNumber(t, ">=", e.lb)), e.ub !== Infinity && a.add(o.compareAstWithNumber(t, "<=", e.ub)), (e.type === "Binary" || e.type === "BINARY") && (a.add(o.compareAstWithNumber(t, ">=", 0)), a.add(o.compareAstWithNumber(t, "<=", 1)));
+		}
+		for (let e of l) {
+			let t = o.translateConstraint(e);
+			a.add(t);
+		}
+		for (let e of u) {
+			let t = e && e.expr || e, n = o.translateBoolExpr(t);
+			a.add(n);
+		}
+		let d = e.objective instanceof Object && "quadTerms" in e.objective ? o.translateQuadExpr(e.objective) : o.translateLinExpr(e.objective);
+		(e.sense || "MINIMIZE").toUpperCase() === "MAXIMIZE" ? a.maximize(d) : a.minimize(d);
+		let f = (await a.check()).toString();
+		if (f === "sat") {
+			let e = a.model(), t = {};
+			for (let n of s) {
+				let r = o.getVarAst(n), i = e.eval(r);
+				t[n.name] = o.parseAstValue(i);
+			}
+			for (let n of c) {
+				let r = o.getBoolVarAst(n), i = e.eval(r);
+				t[n.name] = +(i.toString() === "true");
+			}
+			return {
+				status: "Optimal",
+				objectiveValue: o.parseAstValue(e.eval(d)),
+				values: t
+			};
+		}
+		return f === "unsat" ? {
+			status: "Infeasible",
+			objectiveValue: null,
+			values: {}
+		} : {
+			status: "Error",
+			objectiveValue: null,
+			values: {}
+		};
+	}
+};
+function P() {
+	E("z3", () => new N());
+}
+P();
+//#endregion
+export { u as _, k as a, C as c, m as d, a as f, d as g, c as h, O as i, S as l, o as m, P as n, E as o, s as p, M as r, D as s, N as t, x as u, l as v, f as y };

package/dist/types/glpk-loader.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"glpk-loader.d.ts","sourceRoot":"","sources":["../../src/glpk-loader.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,KAAK,YAAY,GAAG,GAAG,CAAC;AAIxB,wBAAsB,OAAO,IAAI,OAAO,CAAC,YAAY,CAAC,CA0BrD"}
+{"version":3,"file":"glpk-loader.d.ts","sourceRoot":"","sources":["../../src/glpk-loader.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,KAAK,YAAY,GAAG,GAAG,CAAC;AAIxB,wBAAsB,OAAO,IAAI,OAAO,CAAC,YAAY,CAAC,CA8BrD"}

package/dist/types/highs-assets.d.ts

@@ -0,0 +1,3 @@
+/** Vite handles this in the demo; the library build preserves a package-relative URL. */
+export declare function getBundledWasmUrl(): string;
+//# sourceMappingURL=highs-assets.d.ts.map

package/dist/types/highs-assets.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"highs-assets.d.ts","sourceRoot":"","sources":["../../src/highs-assets.ts"],"names":[],"mappings":"AAAA,yFAAyF;AACzF,wBAAgB,iBAAiB,IAAI,MAAM,CAE1C"}

package/dist/types/highs-browser-runtime.d.ts

@@ -0,0 +1,2 @@
+export { default } from "highs";
+//# sourceMappingURL=highs-browser-runtime.d.ts.map

package/dist/types/highs-browser-runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"highs-browser-runtime.d.ts","sourceRoot":"","sources":["../../src/highs-browser-runtime.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,OAAO,CAAC"}

package/dist/types/highs-loader.d.ts

@@ -1,7 +1,23 @@
 import type { SolveOptions } from "./modeler/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;
-export declare function setHighsWasmUrl(url: string): void;
+export declare function setHighsWasmUrl(url: string | null): void;
 export declare function getHighsWasmUrl(): string | null;
+/**
+ * Check if the given byte array begins with the standard WebAssembly magic header (\0asm).
+ */
+export declare function isValidWasmHeader(bytes: Uint8Array): boolean;
+/**
+ * Probe a URL to determine whether it serves a valid WebAssembly binary
+ * without downloading the entire file. Cancels the stream after checking the first chunk.
+ */
+export declare function probeWasmUrl(url: string): Promise<boolean>;
+/**
+ * Resolve the HiGHS WASM URL for browser / worker environments.
+ * - Explicit URLs (customWasmUrl or options.wasmUrl) are strictly used (no CDN fallback).
+ * - Default resolution uses the package asset, with no probe or external fallback.
+ */
+export declare function resolveBrowserWasmUrl(explicitUrl?: string): Promise<string>;
 /**
  * Get or initialize the HiGHS WebAssembly solver instance.
  * Works seamlessly in Node.js, Web Browsers, and Web Workers.

package/dist/types/highs-loader.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"highs-loader.d.ts","sourceRoot":"","sources":["../../src/highs-loader.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD,KAAK,aAAa,GAAG,GAAG,CAAC;AAKzB,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,QAI1C;AAED,wBAAgB,eAAe,IAAI,MAAM,GAAG,IAAI,CAE/C;AAED;;;GAGG;AACH,wBAAsB,QAAQ,CAAC,OAAO,GAAE,YAAiB,GAAG,OAAO,CAAC,aAAa,CAAC,CA2CjF;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":"highs-loader.d.ts","sourceRoot":"","sources":["../../src/highs-loader.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAIvD,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"}

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

@@ -0,0 +1,2 @@
+export declare function loadNodeHighs(): Promise<any>;
+//# sourceMappingURL=highs-node-runtime.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"highs-node-runtime.d.ts","sourceRoot":"","sources":["../../src/highs-node-runtime.ts"],"names":[],"mappings":"AAAA,wBAAsB,aAAa,IAAI,OAAO,CAAC,GAAG,CAAC,CAElD"}

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

@@ -1 +1 @@
-{"version":3,"file":"highs-worker-client.d.ts","sourceRoot":"","sources":["../../src/highs-worker-client.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAoB,KAAK,mBAAmB,EAAmB,MAAM,mBAAmB,CAAC;AAgDhG;;GAEG;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,CA+B3D"}
+{"version":3,"file":"highs-worker-client.d.ts","sourceRoot":"","sources":["../../src/highs-worker-client.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAEL,KAAK,mBAAmB,EAEzB,MAAM,mBAAmB,CAAC;AAwD3B;;GAEG;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,CA0B3D"}

package/dist/types/highs-worker-factory.d.ts

@@ -0,0 +1,3 @@
+/** Kept separate from the loader so worker builds do not recursively include themselves. */
+export declare function createHighsWorker(): Worker;
+//# sourceMappingURL=highs-worker-factory.d.ts.map

package/dist/types/highs-worker-factory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"highs-worker-factory.d.ts","sourceRoot":"","sources":["../../src/highs-worker-factory.ts"],"names":[],"mappings":"AAAA,4FAA4F;AAC5F,wBAAgB,iBAAiB,IAAI,MAAM,CAE1C"}

package/dist/types/index.d.ts

@@ -9,6 +9,6 @@ export type { VarType, OptimizationSense, ComparisonSense, SolverStatus, SolveOp
 export { LpProblem, LpVariable, LpMinimize, LpMaximize, LpContinuous, LpInteger, LpBinary, LpStatus, value, } from "./modeler/pulp-compat.js";
 export { MipModel, MINIMIZE, MAXIMIZE, CONTINUOUS, INTEGER, BINARY, maximize, minimize, } from "./modeler/mip-compat.js";
 export { type Solver, type SolverOptions, type SolverResult, type SolverCheckResult, type SolverCapabilities, HighsSolver, HiGHS, GLPKSolver, Z3Solver, registerZ3Solver, MockSolver, registerSolver, getSolver, setDefaultSolver, listAvailableSolvers, } from "./modeler/solvers/index.js";
-export { getHighs, solveLpWithHighs, setHighsWasmUrl, getHighsWasmUrl } from "./highs-loader.js";
+export { getHighs, solveLpWithHighs, setHighsWasmUrl, getHighsWasmUrl, OFFICIAL_HIGHS_CDN_WASM_URL, isValidWasmHeader, probeWasmUrl, resolveBrowserWasmUrl, } from "./highs-loader.js";
 export { getGlpk } from "./glpk-loader.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,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,EAAE,QAAQ,EAAE,gBAAgB,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACjG,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC"}
+{"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/solvers/highs.d.ts

@@ -1,5 +1,11 @@
 import type { Solver, SolverOptions, SolverResult } from "./types.js";
 import type { LpModelData, LpExportResult } from "../lp-writer.js";
+import type { SolverStatus } from "../types.js";
+/**
+ * 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;
 /**
  * HiGHS Solver adapter (WebAssembly in Browser / Node.js)
  * High-performance simplex / interior point / branch-and-cut solver.

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

@@ -1 +1 @@
-{"version":3,"file":"highs.d.ts","sourceRoot":"","sources":["../../../../src/modeler/solvers/highs.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,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,CAyEvB;CACF;AAED;;GAEG;AACH,eAAO,MAAM,KAAK,oBAAc,CAAC"}
+{"version":3,"file":"highs.d.ts","sourceRoot":"","sources":["../../../../src/modeler/solvers/highs.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;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAGhD;;;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,CAyDvB;CACF;AAED;;GAEG;AACH,eAAO,MAAM,KAAK,oBAAc,CAAC"}

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

@@ -51,7 +51,7 @@ export interface SolverCapabilities {
     supportsQCQP?: boolean;
     /** Supports satisfiability modulo theories / logical constraints */
     supportsSMT?: boolean;
-    /** Supports extracting minimal unsatisfiable core */
+    /** Supports extracting an unsatisfiable core (conflicting constraint subset; minimality is not guaranteed) */
     supportsUnsatCore?: boolean;
 }
 export interface SolverCheckResult {

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,qDAAqD;IACrD,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,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"}

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

@@ -1,4 +1,8 @@
 import type { Solver, SolverCapabilities, SolverOptions, SolverResult, SolverCheckResult } from "./types.js";
+/**
+ * Reset cached Z3 initialization promise (primarily for testing).
+ */
+export declare function resetZ3LoaderCache(): void;
 /**
  * Z3 SMT / SAT / MIP Solver Adapter
  *
@@ -20,11 +24,6 @@ export declare class Z3Solver implements Solver {
      * Tracks constraints to return an unsatCore if infeasible.
      */
     check(modelData: any, _options?: SolverOptions): Promise<SolverCheckResult>;
-    /**
-     * Lightweight in-memory SMT / SAT reasoning engine for browser environments
-     * or when z3-solver native WASM is not available.
-     */
-    private fallbackCheck;
     /**
      * Solve optimization problem (MIP) or feasibility problem
      */