@ohtaman/washi 0.1.1 → 0.2.0

package/dist/lib/highs-node-runtime.js

@@ -0,0 +1 @@
+export async function loadNodeHighs() { return (await import(/* webpackIgnore: true */ /* @vite-ignore */ "highs")).default; }

package/dist/lib/highs-worker-factory.js

@@ -0,0 +1 @@
+export function createHighsWorker() { return new Worker(new URL("./highs-worker.js", import.meta.url), { type: "module" }); }

package/dist/lib/highs-worker.js

@@ -0,0 +1,21 @@
+import { c as e } from "./loader-Dti0v9yC.js";
+//#region src/modeler/solvers/highs/worker.ts
+self.onmessage = async (t) => {
+	let { type: n, id: r, lpString: i, options: a } = t.data;
+	if (n === "SOLVE") try {
+		let { result: t, runTime: n } = await e(i, a);
+		self.postMessage({
+			type: "SOLVE_SUCCESS",
+			id: r,
+			result: t,
+			runTime: n
+		});
+	} catch (e) {
+		self.postMessage({
+			type: "SOLVE_ERROR",
+			id: r,
+			error: e?.message || String(e)
+		});
+	}
+};
+//#endregion

package/dist/lib/loader-Dti0v9yC.js

@@ -0,0 +1,50 @@
+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;
+}
+async function f(e, t = {}) {
+	let n = await d(t), r = performance.now(), i = { output_flag: t.outputFlag ?? !1 };
+	return 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 && (i.mip_rel_gap = t.relGap), t.absGap !== void 0 && (i.mip_abs_gap = t.absGap), {
+		result: n.solve(e, i),
+		runTime: (performance.now() - r) / 1e3
+	};
+}
+//#endregion
+export { l as a, f as c, c as i, d as n, u as o, s as r, o as s, n as t };

package/dist/lib/registry-DksqCSjI.js

@@ -0,0 +1,32 @@
+//#region src/modeler/solvers/registry.ts
+var e = Symbol.for("washi.solverRegistry"), t = Symbol.for("washi.defaultSolverFactory"), n = globalThis;
+n[e] || (n[e] = /* @__PURE__ */ new Map());
+var r = n[e];
+function i(e, t) {
+	r.set(e.toLowerCase(), t);
+}
+function a(e) {
+	if (typeof e == "string") {
+		let i = r.get(e.toLowerCase());
+		if (!i) throw Error(`Solver '${e}' is not registered.`);
+		n[t] = i;
+	} else n[t] = typeof e == "function" ? e : () => e;
+}
+function o(e, i) {
+	if (!e) {
+		let e = n[t] || r.get("highs");
+		if (!e) throw Error(`No default solver available. Available solvers: ${s().join(", ")}`);
+		return e(i);
+	}
+	if (typeof e == "string") {
+		let t = e.toLowerCase(), n = r.get(t);
+		if (!n) throw Error(t === "glpk" ? `Solver 'glpk' not found. Available solvers: ${s().join(", ")}. Please import '@ohtaman/washi/solvers/glpk' before selecting this solver.` : t === "z3" ? `Solver 'z3' not found. Available solvers: ${s().join(", ")}. Please import '@ohtaman/washi/solvers/z3' before selecting this solver.` : `Solver '${e}' not found. Available solvers: ${s().join(", ")}`);
+		return n(i);
+	}
+	return e;
+}
+function s() {
+	return Array.from(r.keys());
+}
+//#endregion
+export { a as i, s as n, i as r, o as t };

package/dist/lib/solvers/glpk.js

@@ -1,2 +1,153 @@
-import { t as e } from "../glpk-BC32ZaPG.js";
-export { e as GLPKSolver };
+import { r as e } from "../registry-DksqCSjI.js";
+//#region src/modeler/solvers/glpk/loader.ts
+var t = null, n = null;
+async function r() {
+	if (t) return t;
+	let e = (async () => {
+		let e = typeof process < "u" && process.versions && process.versions.node && process.type !== "renderer";
+		try {
+			if (e) {
+				let e = await import(
+					/* webpackIgnore: true */
+					/* @vite-ignore */
+					"glpk.js/node"
+), t = await (e.default || e)();
+				return n = t, t;
+			}
+			let t = await import("glpk.js"), r = await (t.default || t)();
+			return n = r, r;
+		} catch (e) {
+			throw Error("[WaSHI] Could not load GLPK. Install the optional glpk.js dependency before selecting this solver.", { cause: e });
+		}
+	})();
+	return e.catch(() => {
+		t === e && (t = null, n = null);
+	}), t = e, e;
+}
+function i() {
+	if (n && typeof n.terminate == "function") try {
+		n.terminate();
+	} catch {}
+	n = null, t = null;
+}
+function a() {
+	i();
+}
+//#endregion
+//#region src/modeler/solvers/glpk/solver.ts
+var o = class e {
+	static capabilities = {
+		supportsMIP: !0,
+		supportsQP: !1
+	};
+	name = "GLPK";
+	version = "5.0.0";
+	capabilities = e.capabilities;
+	options;
+	constructor(e = {}) {
+		this.options = e;
+	}
+	async solve(e, t, n = {}) {
+		let i = {
+			...this.options,
+			...n
+		}, a = await r(), { nameToVar: o, nameToConstraint: s } = t, c = /* @__PURE__ */ new Map();
+		for (let [e, t] of o.entries()) c.set(t, e);
+		let l = /* @__PURE__ */ new Map();
+		for (let [e, t] of s.entries()) l.set(t, e);
+		let u = [], d = "linearTerms" in e.objective ? e.objective.linearTerms : e.objective.terms;
+		if (d) for (let [e, t] of d) {
+			if (Math.abs(t) < 1e-12) continue;
+			let n = c.get(e) || e.name;
+			u.push({
+				name: n,
+				coef: Number(t)
+			});
+		}
+		let f = [];
+		for (let t of e.constraints) {
+			let e = l.get(t) || t.name || `c_${f.length + 1}`, n = [];
+			for (let [e, r] of t.lhs.terms) {
+				if (Math.abs(r) < 1e-12) continue;
+				let t = c.get(e) || e.name;
+				n.push({
+					name: t,
+					coef: Number(r)
+				});
+			}
+			let r;
+			r = t.sense === "==" ? {
+				type: a.GLP_FX,
+				lb: t.rhs,
+				ub: t.rhs
+			} : t.sense === "<=" ? {
+				type: a.GLP_UP,
+				lb: -Infinity,
+				ub: t.rhs
+			} : {
+				type: a.GLP_LO,
+				lb: t.rhs,
+				ub: Infinity
+			}, f.push({
+				name: e,
+				vars: n,
+				bnds: r
+			});
+		}
+		let p = [], m = [], h = [];
+		for (let t of e.variables) {
+			let e = c.get(t) || t.name;
+			t.type === "Binary" ? p.push(e) : t.type === "Integer" && m.push(e);
+			let n = t.lb, r = t.ub, i;
+			i = n === -Infinity && r === Infinity ? a.GLP_FR : n !== -Infinity && r === Infinity ? a.GLP_LO : n === -Infinity && r !== Infinity ? a.GLP_UP : n === r ? a.GLP_FX : a.GLP_DB, h.push({
+				name: e,
+				type: i,
+				lb: n === -Infinity ? 0 : n,
+				ub: r === Infinity ? 0 : r
+			});
+		}
+		let g = {
+			name: e.name || "GLPK_Model",
+			objective: {
+				direction: e.sense === "Maximize" ? a.GLP_MAX : a.GLP_MIN,
+				name: "obj",
+				vars: u
+			},
+			subjectTo: f
+		};
+		h.length > 0 && (g.bounds = h), p.length > 0 && (g.binaries = p), m.length > 0 && (g.generals = m);
+		let _ = {
+			msglev: i.verbose ? a.GLP_MSG_ALL : a.GLP_MSG_OFF,
+			presol: i.presolve !== "off"
+		};
+		typeof i.timeLimit == "number" && (_.tmlim = i.timeLimit), typeof i.mipGap == "number" && (_.mipgap = i.mipGap);
+		let v = performance.now(), y = await a.solve(g, _), b = (performance.now() - v) / 1e3, x = y?.result?.status, S;
+		S = x === a.GLP_OPT ? "Optimal" : x === a.GLP_FEAS ? "Feasible" : x === a.GLP_INFEAS || x === a.GLP_NOFEAS ? "Infeasible" : x === a.GLP_UNBND ? "Unbounded" : "Optimal";
+		let C = y?.result?.z, w = typeof C == "number" ? C + e.objective.constant : null, T = {}, E = y?.result?.vars || {};
+		for (let [e, t] of Object.entries(E)) {
+			let n = o.get(e), r = n ? n.name : e;
+			T[r] = typeof t == "number" ? Math.abs(t) < 1e-9 ? 0 : t : 0;
+		}
+		for (let t of e.variables) T[t.name] === void 0 && (T[t.name] = 0);
+		let D = {};
+		if (y?.result?.dual) for (let [e, t] of Object.entries(y.result.dual)) {
+			let n = s.get(e), r = n ? n.name : e;
+			D[r] = Number(t);
+		}
+		return {
+			status: S,
+			objectiveValue: w,
+			values: T,
+			duals: D,
+			runTime: y?.time || b,
+			logs: [`GLPK solved in ${(y?.time || b) * 1e3} ms.`],
+			raw: y
+		};
+	}
+};
+function s() {
+	e("glpk", (e) => new o(e));
+}
+s();
+//#endregion
+export { o as GLPKSolver, r as getGlpk, s as registerGLPKSolver, a as resetGlpkCache, i as terminateGlpk };

package/dist/lib/solvers/z3-assets.js

@@ -0,0 +1 @@
+export function getBundledZ3AssetUrls() { return { jsUrl: new URL("./z3-built.js", import.meta.url).href, wasmUrl: new URL("./z3-built.wasm", import.meta.url).href }; }