@ohtaman/washi 0.4.0 → 0.5.0

package/dist/lib/highs-worker.js

@@ -1,9 +1,27 @@
-import { c as e } from "./loader-Dti0v9yC.js";
+import { c as e } from "./loader-DmNC_UNk.js";
 //#region src/modeler/solvers/highs/worker.ts
 self.onmessage = async (t) => {
-	let { type: n, id: r, lpString: i, options: a } = t.data;
+	let { type: n, id: r, lpString: i, options: a, reportProgress: o } = t.data;
 	if (n === "SOLVE") try {
-		let { result: t, runTime: n } = await e(i, a);
+		let { result: t, runTime: n } = await e(i, {
+			...a,
+			...o ? {
+				onProgress: (e) => {
+					self.postMessage({
+						type: "SOLVE_PROGRESS",
+						id: r,
+						progress: e
+					});
+				},
+				onIncumbent: (e) => {
+					self.postMessage({
+						type: "SOLVE_INCUMBENT",
+						id: r,
+						incumbent: e
+					});
+				}
+			} : {}
+		});
 		self.postMessage({
 			type: "SOLVE_SUCCESS",
 			id: r,

package/dist/lib/loader-DmNC_UNk.js

@@ -0,0 +1,279 @@
+import { getBundledWasmUrl as e } from "./highs-assets.js";
+import { loadNodeHighs as t } from "./highs-node-runtime.js";
+//#region src/modeler/solvers/highs/loader.ts
+var n = "https://cdn.jsdelivr.net/npm/highs@1.15.3/build/highs.wasm", r = null, i = null, a = null;
+function o(e) {
+	a = e, r = null, i = null;
+}
+function s() {
+	return a;
+}
+function c(e) {
+	return e.length >= 4 && e[0] === 0 && e[1] === 97 && e[2] === 115 && e[3] === 109;
+}
+async function l(e) {
+	try {
+		let t = await fetch(e, { headers: { Range: "bytes=0-3" } });
+		if (!t.ok || (t.headers.get("content-type") || "").includes("text/html")) return !1;
+		if (!t.body) return !0;
+		let n = t.body.getReader(), { value: r, done: i } = await n.read();
+		return await n.cancel(), i || !r || r.length < 4 ? !1 : c(r);
+	} catch {
+		return !1;
+	}
+}
+async function u(t) {
+	return t || a || e();
+}
+async function d(e = {}) {
+	let n = typeof process < "u" && process.versions?.node && process.type !== "renderer", a = n ? null : await u(e.wasmUrl), o = a ?? "node";
+	if (r && i === o) return r;
+	i = o;
+	let s = (async () => {
+		let e = n ? await t() : (await import("./highs-browser-runtime.js")).default;
+		return n ? await e() : await e({ locateFile: (e) => e.endsWith(".wasm") ? a : e });
+	})().catch((e) => {
+		r === s && (r = null, i = null);
+		let t = e instanceof Error ? e.message : String(e);
+		throw Error(`[WaSHI] Failed to initialize HiGHS${a ? ` from "${a}"` : ""}. Deploy the package's WASM asset or explicitly set wasmUrl; no CDN fallback is attempted. ${t}`, { cause: e });
+	});
+	return r = s, s;
+}
+var f = {
+	0: "Not Set",
+	1: "Load error",
+	2: "Model error",
+	3: "Presolve error",
+	4: "Solve error",
+	5: "Postsolve error",
+	6: "Empty",
+	7: "Optimal",
+	8: "Infeasible",
+	9: "Primal infeasible or unbounded",
+	10: "Unbounded",
+	11: "Bound on objective reached",
+	12: "Target for objective reached",
+	13: "Time limit reached",
+	14: "Iteration limit reached",
+	15: "Unknown",
+	16: "Solution limit reached",
+	17: "Interrupted",
+	18: "Memory limit reached"
+};
+async function p(e, t = {}) {
+	if (t.signal?.aborted) return {
+		result: {
+			Status: "Interrupted",
+			StatusCode: 17,
+			HasPrimalSolution: !1,
+			ObjectiveValue: NaN,
+			Columns: {},
+			Rows: []
+		},
+		runTime: 0
+	};
+	let n = await d(t);
+	if (t.signal?.aborted) return {
+		result: {
+			Status: "Interrupted",
+			StatusCode: 17,
+			HasPrimalSolution: !1,
+			ObjectiveValue: NaN,
+			Columns: {},
+			Rows: []
+		},
+		runTime: 0
+	};
+	let r = performance.now(), i = { output_flag: t.outputFlag ?? !1 };
+	t.timeLimit !== void 0 && (i.time_limit = t.timeLimit), t.presolve !== void 0 && (i.presolve = t.presolve), t.solver !== void 0 && (i.solver = t.solver), t.relGap === void 0 ? t.mipGap !== void 0 && (i.mip_rel_gap = t.mipGap) : i.mip_rel_gap = t.relGap, t.absGap !== void 0 && (i.mip_abs_gap = t.absGap);
+	for (let e of [
+		"mip_max_nodes",
+		"mip_max_improving_sols",
+		"mip_max_leaves",
+		"simplex_iteration_limit",
+		"ipm_iteration_limit"
+	]) t[e] !== void 0 && (i[e] = t[e]);
+	let a = typeof t.objectiveOffset == "number" && Number.isFinite(t.objectiveOffset) ? t.objectiveOffset : 0, o = t.initialValues, s = !1;
+	if (o) {
+		for (let [e, t] of Object.entries(o)) if (t !== void 0) {
+			if (typeof t != "number" || !Number.isFinite(t)) throw Error(`Invalid initial value for column "${e}": ${String(t)} (must be a finite number).`);
+			s = !0;
+		}
+	}
+	if (typeof n.withModel == "function") return {
+		result: n.withModel({
+			format: "lp",
+			data: e
+		}, (e) => {
+			if (a !== 0 && typeof e.changeObjectiveOffset == "function") {
+				let t = typeof e.getObjectiveOffset == "function" ? e.getObjectiveOffset() : 0;
+				e.changeObjectiveOffset(t + a);
+			}
+			for (let [t, r] of Object.entries(i)) try {
+				e.options.set(t, r);
+			} catch (e) {
+				if (e?.name !== "HighsUnsupportedOptionError" && !(n.errors?.HighsUnsupportedOptionError && e instanceof n.errors.HighsUnsupportedOptionError)) throw e;
+			}
+			let c = e.getDimensions(), l = [], u = !1;
+			for (let t = 0; t < c.numCols; t++) {
+				let n = e.getColIntegrality(t);
+				n !== 0 && (u = !0), l.push({
+					name: e.getColName(t),
+					type: n === 1 ? "Integer" : "Continuous"
+				});
+			}
+			if (s && o) {
+				if (typeof e.setSolution != "function") throw Error("HiGHS runtime does not support setting primal initial values (setSolution is unavailable).");
+				let t = /* @__PURE__ */ new Map();
+				for (let e = 0; e < c.numCols; e++) t.set(l[e].name, e);
+				for (let [e, n] of Object.entries(o)) if (n !== void 0 && !t.has(e)) throw Error(`Unknown column "${e}" in initialValues (column does not exist in the HiGHS LP model).`);
+				let n = [], r = [];
+				for (let e = 0; e < c.numCols; e++) {
+					let t = l[e].name;
+					if (Object.prototype.hasOwnProperty.call(o, t)) {
+						let i = o[t];
+						i !== void 0 && (n.push(e), r.push(i));
+					}
+				}
+				n.length > 0 && (n.length === c.numCols ? e.setSolution({ colValue: r }) : e.setSolution({
+					indices: n,
+					values: r
+				}));
+			}
+			let d = null, p = null, m = 0, h = (e) => {
+				let t = e?.data ?? {}, n = typeof t.running_time == "number" && Number.isFinite(t.running_time) ? t.running_time : (performance.now() - r) / 1e3, i = typeof t.mip_primal_bound == "number" && Number.isFinite(t.mip_primal_bound) ? t.mip_primal_bound : typeof t.objective_function_value == "number" && Number.isFinite(t.objective_function_value) ? t.objective_function_value : void 0, a = typeof t.mip_dual_bound == "number" && Number.isFinite(t.mip_dual_bound) ? t.mip_dual_bound : void 0, o = typeof t.mip_gap == "number" && Number.isFinite(t.mip_gap) ? t.mip_gap : void 0, s = i !== void 0 && a !== void 0 ? Math.abs(i - a) : void 0, c = typeof t.mip_node_count == "bigint" ? Number(t.mip_node_count) : typeof t.mip_node_count == "number" && Number.isFinite(t.mip_node_count) ? t.mip_node_count : void 0, l = typeof t.mip_total_lp_iterations == "bigint" ? Number(t.mip_total_lp_iterations) : typeof t.simplex_iteration_count == "number" && Number.isFinite(t.simplex_iteration_count) ? t.simplex_iteration_count : typeof t.ipm_iteration_count == "number" && Number.isFinite(t.ipm_iteration_count) ? t.ipm_iteration_count : void 0, u = typeof e?.message == "string" && e.message.trim().length > 0 ? e.message.trim() : void 0, d = {
+					elapsedTime: n,
+					elapsedSeconds: n,
+					...i === void 0 ? {} : { objectiveValue: i },
+					...a === void 0 ? {} : { objectiveBound: a },
+					...o === void 0 ? {} : {
+						relGap: o,
+						mipGap: o
+					},
+					...s === void 0 ? {} : { absGap: s },
+					...c === void 0 ? {} : { nodes: c },
+					...l === void 0 ? {} : { iterations: l },
+					...u === void 0 ? {} : { message: u }
+				};
+				return p = d, d;
+			}, g = (e) => {
+				let n = e?.data;
+				if (!n || !(n.mip_solution instanceof Float64Array)) return;
+				let r = n.mip_solution, i = {};
+				for (let e = 0; e < l.length && e < r.length; e++) Object.defineProperty(i, l[e].name, {
+					value: {
+						Index: e,
+						Type: l[e].type,
+						Name: l[e].name,
+						Primal: r[e]
+					},
+					enumerable: !0,
+					writable: !0,
+					configurable: !0
+				});
+				let a = typeof n.objective_function_value == "number" && Number.isFinite(n.objective_function_value) ? n.objective_function_value : typeof n.mip_primal_bound == "number" && Number.isFinite(n.mip_primal_bound) ? n.mip_primal_bound : NaN;
+				Number.isFinite(a) && (d = {
+					objectiveValue: a,
+					...typeof n.mip_dual_bound == "number" && Number.isFinite(n.mip_dual_bound) ? { mipDualBound: n.mip_dual_bound } : {},
+					...typeof n.mip_gap == "number" && Number.isFinite(n.mip_gap) ? { mipGap: n.mip_gap } : {},
+					columns: i
+				}, t.onIncumbent?.(d));
+			}, _ = !1;
+			if (t.signal || t.onProgress || t.onIncumbent) {
+				let r = n.constants?.callbackType ?? {
+					logging: 0,
+					simplexInterrupt: 1,
+					ipmInterrupt: 2,
+					mipSolution: 3,
+					mipImprovingSolution: 4,
+					mipLogging: 5,
+					mipInterrupt: 6
+				}, i = (e) => {
+					if (t.signal?.aborted) {
+						_ = !0, e.interrupt();
+						return;
+					}
+					t.onProgress && (m++, t.onProgress(h(e)), t.signal?.aborted && (_ = !0, e.interrupt()));
+				}, a = {
+					[r.simplexInterrupt]: i,
+					[r.ipmInterrupt]: i,
+					[r.mipInterrupt]: i,
+					[r.mipImprovingSolution]: (e) => {
+						g(e), t.onProgress && !t.signal?.aborted && (m++, t.onProgress(h(e)));
+					},
+					[r.mipLogging]: (e) => {
+						t.onProgress && !t.signal?.aborted && (m++, t.onProgress(h(e)));
+					}
+				};
+				e.run(a);
+			} else e.run();
+			let v = e.getModelStatus();
+			_ && (v = 17);
+			let y = f[v] ?? "Unknown", b = 0, x = 0;
+			try {
+				b = Number(e.info.get("primal_solution_status"));
+			} catch {}
+			try {
+				x = Number(e.info.get("dual_solution_status"));
+			} catch {}
+			let S = n.constants?.solutionStatus?.feasible ?? 2, C = b === S, w = x === S, T = C || w ? e.getSolution() : null, E = C, D = {};
+			if (!C && d !== null) E = !0, D = d.columns;
+			else for (let e = 0; e < c.numCols; e++) {
+				let t = l[e], n = {
+					Index: e,
+					Type: t.type,
+					Name: t.name
+				};
+				C && T && (n.Primal = T.colValue[e]), !u && w && T && (n.Dual = T.colDual[e]), Object.defineProperty(D, t.name, {
+					value: n,
+					enumerable: !0,
+					writable: !0,
+					configurable: !0
+				});
+			}
+			let O = [];
+			for (let t = 0; t < c.numRows; t++) {
+				let n = e.getRowName(t), r = {
+					Index: t,
+					Name: n
+				};
+				C && T && (r.Primal = T.rowValue[t]), !u && w && T && (r.Dual = T.rowDual[t]), O.push(r);
+			}
+			let k = C ? e.getObjectiveValue() : d === null ? NaN : d.objectiveValue, A, j;
+			if (u) {
+				try {
+					let t = Number(e.info.get("mip_dual_bound"));
+					Number.isFinite(t) && (A = t);
+				} catch {}
+				A === void 0 && p && p.objectiveBound !== void 0 && (A = p.objectiveBound);
+				try {
+					let t = Number(e.info.get("mip_gap"));
+					Number.isFinite(t) && (j = t);
+				} catch {}
+				j === void 0 && p && p.relGap !== void 0 && (j = p.relGap);
+			}
+			return {
+				Status: f[v] ?? y,
+				StatusCode: v,
+				PrimalSolutionStatus: b,
+				DualSolutionStatus: x,
+				HasPrimalSolution: E,
+				IsMip: u,
+				ObjectiveValue: k,
+				ObjectiveOffsetApplied: a !== 0,
+				MipDualBound: A,
+				MipGap: j,
+				Columns: D,
+				Rows: O
+			};
+		}),
+		runTime: (performance.now() - r) / 1e3
+	};
+	if (s) throw Error("HiGHS runtime does not support setting primal initial values (withModel/setSolution is unavailable).");
+	return {
+		result: n.solve(e, i),
+		runTime: (performance.now() - r) / 1e3
+	};
+}
+//#endregion
+export { l as a, p as c, c as i, d as n, u as o, s as r, o as s, n as t };