@ohtaman/washi 0.1.1 → 0.1.2

package/dist/lib/highs-loader-Blb99785.js

@@ -0,0 +1,50 @@
+import { getBundledWasmUrl as e } from "./highs-assets.js";
+import { loadNodeHighs as t } from "./highs-node-runtime.js";
+//#region src/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/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 "./highs-loader-Blb99785.js";
+//#region src/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/solvers/glpk.js

@@ -1,2 +1,2 @@
-import { t as e } from "../glpk-BC32ZaPG.js";
+import { t as e } from "../glpk-5cUpjyb9.js";
 export { e as GLPKSolver };

package/dist/lib/solvers/z3.js

@@ -1,2 +1,2 @@
-import { n as e, t } from "../z3-C8g-PtmP.js";
-export { t as Z3Solver, e as registerZ3Solver };
+import { n as e, r as t, t as n } from "../z3-C6GeIicJ.js";
+export { n as Z3Solver, e as registerZ3Solver, t as resetZ3LoaderCache };

package/dist/lib/washi.js

@@ -1,5 +1,6 @@
-import { C as e, E as t, S as n, T as r, _ as i, a, b as o, c as s, d as c, f as l, g as u, h as d, i as f, l as p, m, n as h, o as g, p as _, r as v, s as ee, t as y, u as b, v as x, w as S, x as C, y as w } from "./z3-C8g-PtmP.js";
-import { n as T, t as E } from "./glpk-BC32ZaPG.js";
+import { _ as e, a as t, c as n, d as r, f as i, g as a, h as o, i as s, l as c, m as l, n as u, o as d, p as f, s as p, t as m, u as h, v as g, y as _ } from "./z3-C6GeIicJ.js";
+import { a as v, c as y, i as b, n as x, o as S, r as C, s as w, t as T } from "./highs-loader-Blb99785.js";
+import { n as E, t as ee } from "./glpk-5cUpjyb9.js";
 //#region src/modeler/quad-expr.ts
 function D(e, t) {
 	let n = e.id, r = t.id;
@@ -176,11 +177,11 @@ var O = class e {
 	equalTo(e, t) {
 		return this.eq(e, t);
 	}
-	toConstraint(t, n, r) {
-		let i = this.clone(), a = 0;
-		typeof n == "number" ? a = n : "terms" in n ? (i = i.sub(new e(n.terms, 0)), a = n.constant) : i = i.sub(n);
-		let o = a - i.constant;
-		return i.constant = 0, new x(i, t, o, r);
+	toConstraint(t, n, i) {
+		let a = this.clone(), o = 0;
+		typeof n == "number" ? o = n : "terms" in n ? (a = a.sub(new e(n.terms, 0)), o = n.constant) : a = a.sub(n);
+		let s = o - a.constant;
+		return a.constant = 0, new r(a, t, s, i);
 	}
 	toString() {
 		let e = [], t = !0;
@@ -215,7 +216,7 @@ function A(e, t) {
 	for (let [e, t] of n) Math.abs(t) < 1e-12 && n.delete(e);
 	return new k(n, r);
 }
-var j = A, M = A, N = 0, P = class e {
+var te = A, j = A, M = 0, N = class e {
 	id;
 	name;
 	type;
@@ -224,7 +225,7 @@ var j = A, M = A, N = 0, P = class e {
 	value = null;
 	reducedCost = null;
 	constructor(e = {}) {
-		this.id = ++N, this.name = e.name || `x_${this.id}`, this.type = e.type || "Continuous", this.type === "Binary" ? (this.lb = 0, this.ub = 1) : (this.lb = e.lb === void 0 ? 0 : e.lb, this.ub = e.ub === void 0 ? Infinity : e.ub);
+		this.id = ++M, this.name = e.name || `x_${this.id}`, this.type = e.type || "Continuous", this.type === "Binary" ? (this.lb = 0, this.ub = 1) : (this.lb = e.lb === void 0 ? 0 : e.lb, this.ub = e.ub === void 0 ? Infinity : e.ub);
 	}
 	get x() {
 		return this.value;
@@ -276,7 +277,7 @@ var j = A, M = A, N = 0, P = class e {
 };
 //#endregion
 //#region src/modeler/parser.ts
-function F(e) {
+function P(e) {
 	let t = [], n = 0, r = e.length;
 	for (; n < r;) {
 		let i = e[n];
@@ -332,7 +333,7 @@ function F(e) {
 	}
 	return t;
 }
-var te = class {
+var F = class {
 	tokens;
 	pos = 0;
 	resolver;
@@ -415,7 +416,7 @@ var te = class {
 	}
 };
 function I(e, t) {
-	return new te(F(e), t).parseExpression();
+	return new F(P(e), t).parseExpression();
 }
 function L(e, t, n) {
 	let r = e.match(/(<=|>=|==|=<|=>|=)/);
@@ -433,7 +434,7 @@ function R(e, t) {
 	for (let i = 0; i < e.length; i++) if (r += e[i], i < t.length) {
 		let e = t[i];
 		if (typeof e == "number") r += `(${e})`;
-		else if (e instanceof P) {
+		else if (e instanceof N) {
 			let t = `__v_${i}__`;
 			n.set(t, e), r += t;
 		} else if (e instanceof k) {
@@ -551,7 +552,7 @@ var U = class {
 	solution = null;
 	solver = null;
 	constructor(e = {}) {
-		this.name = e.name || "OptimizationModel", this.sense = e.sense || "Minimize", this.objective = new k(), e.solver && (this.solver = v(e.solver));
+		this.name = e.name || "OptimizationModel", this.sense = e.sense || "Minimize", this.objective = new k(), e.solver && (this.solver = s(e.solver));
 	}
 	get vars() {
 		return this.variables;
@@ -573,7 +574,7 @@ var U = class {
 			lb: n,
 			ub: r
 		} : e || {};
-		let a = new P(i);
+		let a = new N(i);
 		if (this.varMapByName.has(a.name)) throw Error(`Variable with name '${a.name}' already exists in model`);
 		return this.variables.push(a), this.varMapByName.set(a.name, a), a;
 	}
@@ -637,11 +638,11 @@ var U = class {
 		this.setObjective(e, "Minimize");
 	}
 	addBoolVar(e) {
-		let t = new C(e);
+		let t = new l(e);
 		return this.boolVars.push(t), t;
 	}
 	addConstraint(e, t) {
-		if (e instanceof w) {
+		if (e instanceof i) {
 			let n = t || `lc_${this.logicalConstraints.length + 1}`;
 			return this.logicalConstraints.push({
 				name: n,
@@ -663,7 +664,7 @@ var U = class {
 			for (let t of e) this.add(t);
 			return this;
 		}
-		return e instanceof P ? (this.varMapByName.has(e.name) || (this.variables.push(e), this.varMapByName.set(e.name, e)), this) : (this.addConstraint(e, t), this);
+		return e instanceof N ? (this.varMapByName.has(e.name) || (this.variables.push(e), this.varMapByName.set(e.name, e)), this) : (this.addConstraint(e, t), this);
 	}
 	addIndicator(e, t, n = {}) {
 		let r = n.activeValue === void 0 ? 1 : n.activeValue, i = n.M === void 0 ? 1e5 : n.M, a = n.name || `ind_${e.name}_${t.name}`, o = [], { lhs: s, sense: c, rhs: l } = t;
@@ -700,7 +701,7 @@ var U = class {
 	}
 	async optimize(e, t) {
 		let n, r;
-		if (e && typeof e == "object" && "solve" in e && typeof e.solve == "function" ? (n = e, r = t || {}) : typeof e == "function" ? (n = new e(t), r = t || {}) : typeof e == "string" ? (n = v(e, t), r = t || {}) : (r = { ...e }, r.solver ? (n = v(r.solver, r), delete r.solver) : n = this.solver || v()), this.objective instanceof O && this.objective.quadTerms.size > 0 && n.capabilities?.supportsQP === !1) throw Error(`Solver "${n.name}" does not support quadratic objectives (QP). Please use a QP-capable solver such as HiGHS or Clarabel.`);
+		if (e && typeof e == "object" && "solve" in e && typeof e.solve == "function" ? (n = e, r = t || {}) : typeof e == "function" ? (n = new e(t), r = t || {}) : typeof e == "string" ? (n = s(e, t), r = t || {}) : (r = { ...e }, r.solver ? (n = s(r.solver, r), delete r.solver) : n = this.solver || s()), this.objective instanceof O && this.objective.quadTerms.size > 0 && n.capabilities?.supportsQP === !1) throw Error(`Solver "${n.name}" does not support quadratic objectives (QP). Please use a QP-capable solver such as HiGHS or Clarabel.`);
 		let i = {
 			name: this.name,
 			sense: this.sense,
@@ -711,31 +712,31 @@ var U = class {
 			boolVars: this.boolVars
 		}, a = H(i), o = await n.solve(i, a, r);
 		this.runTime = o.runTime ?? 0, this.status = o.status, this.objectiveValue = o.objectiveValue ?? null;
-		let s = {}, c = {}, l = {}, u = {};
+		let c = {}, l = {}, u = {}, d = {};
 		if (this.values.clear(), o.values) for (let [e, t] of Object.entries(o.values)) {
 			this.values.set(e, t);
 			let n = this.getVarByName(e) || a.nameToVar.get(e);
-			n && (n.value = t, s[n.name] = t);
+			n && (n.value = t, c[n.name] = t);
 		}
 		if (o.reducedCosts) for (let [e, t] of Object.entries(o.reducedCosts)) {
 			let n = this.getVarByName(e) || a.nameToVar.get(e);
-			n && (n.reducedCost = t, l[n.name] = t);
+			n && (n.reducedCost = t, u[n.name] = t);
 		}
 		if (o.duals) for (let [e, t] of Object.entries(o.duals)) {
 			let n = this.getConstraintByName(e) || a.nameToConstraint.get(e);
-			n && (n.dual = t, c[n.name] = t);
+			n && (n.dual = t, l[n.name] = t);
 		}
 		if (o.slacks) for (let [e, t] of Object.entries(o.slacks)) {
 			let n = this.getConstraintByName(e) || a.nameToConstraint.get(e);
-			n && (n.slack = t, u[n.name] = t);
+			n && (n.slack = t, d[n.name] = t);
 		}
 		return this.solution = {
 			status: this.status,
 			objectiveValue: this.objectiveValue,
-			values: s,
-			duals: c,
-			reducedCosts: l,
-			slacks: u,
+			values: c,
+			duals: l,
+			reducedCosts: u,
+			slacks: d,
 			runTime: this.runTime,
 			raw: o.raw
 		}, this.status;
@@ -745,7 +746,7 @@ var U = class {
 	}
 	async check(e, t) {
 		let n, r;
-		if (e && typeof e == "object" && "solve" in e && typeof e.solve == "function" ? (n = e, r = t || {}) : typeof e == "function" ? (n = new e(t), r = t || {}) : typeof e == "string" ? (n = v(e, t), r = t || {}) : (r = { ...e }, r.solver ? (n = v(r.solver, r), delete r.solver) : n = this.solver || v()), this.logicalConstraints.length > 0 && n.capabilities?.supportsSMT !== !0) throw Error(`Solver "${n.name}" does not support SMT / logical constraints (or, implies, not, xor). Please use an SMT-capable solver such as Z3.`);
+		if (e && typeof e == "object" && "solve" in e && typeof e.solve == "function" ? (n = e, r = t || {}) : typeof e == "function" ? (n = new e(t), r = t || {}) : typeof e == "string" ? (n = s(e, t), r = t || {}) : (r = { ...e }, r.solver ? (n = s(r.solver, r), delete r.solver) : n = this.solver || s()), this.logicalConstraints.length > 0 && n.capabilities?.supportsSMT !== !0) throw Error(`Solver "${n.name}" does not support SMT / logical constraints (or, implies, not, xor). Please use an SMT-capable solver such as Z3.`);
 		if (typeof n.check == "function") {
 			let e = await n.check({
 				name: this.name,
@@ -790,7 +791,7 @@ var U = class {
 	Sat: "Sat",
 	Unsat: "Unsat",
 	Unknown: "Unknown"
-}, X = class e extends P {
+}, X = class e extends N {
 	constructor(e, t, n, r = "Continuous") {
 		super({
 			name: e,
@@ -849,7 +850,7 @@ var ne = class {
 	setObjective(e) {
 		if (typeof e == "object" && e) {
 			if ("terms" in e) for (let [t] of e.terms) this.addVariable(t);
-			else e instanceof P && this.addVariable(e);
+			else e instanceof N && this.addVariable(e);
 		}
 		this.model.setObjective(e);
 	}
@@ -858,7 +859,7 @@ var ne = class {
 		return this.model.addConstraint(e, t);
 	}
 	add(e, t) {
-		typeof e == "string" ? /(<=|>=|==|=<|=>|=)/.test(e) ? this.addConstraint(e, t) : this.setObjective(e) : e instanceof x ? this.addConstraint(e, t) : this.setObjective(e);
+		typeof e == "string" ? /(<=|>=|==|=<|=>|=)/.test(e) ? this.addConstraint(e, t) : this.setObjective(e) : e instanceof r ? this.addConstraint(e, t) : this.setObjective(e);
 	}
 	async solve(e, t) {
 		return this.model.optimize(e, t);
@@ -905,4 +906,4 @@ var ce = class extends U {
 	}
 };
 //#endregion
-export { re as BINARY, w as BoolExpr, o as BoolOp, C as BoolVar, ae as CONTINUOUS, x as Constraint, E as GLPKSolver, s as HiGHS, p as HighsSolver, ie as INTEGER, k as LinExpr, J as LpBinary, K as LpContinuous, q as LpInteger, G as LpMaximize, W as LpMinimize, ne as LpProblem, Y as LpStatus, X as LpVariable, $ as MAXIMIZE, Q as MINIMIZE, ce as MipModel, ee as MockSolver, U as Model, b as OFFICIAL_HIGHS_CDN_WASM_URL, O as QuadExpr, P as Var, y as Z3Solver, n as and, z as c, B as expr, H as generateLpString, T as getGlpk, c as getHighs, l as getHighsWasmUrl, v as getSolver, e as implies, _ as isValidWasmHeader, f as listAvailableSolvers, M as lpSum, oe as maximize, se as minimize, S as not, r as or, L as parseConstraint, I as parseExpr, m as probeWasmUrl, a as registerSolver, h as registerZ3Solver, d as resolveBrowserWasmUrl, g as setDefaultSolver, u as setHighsWasmUrl, i as solveLpWithHighs, A as sum, Z as value, t as xor, j as xsum };
+export { re as BINARY, i as BoolExpr, f as BoolOp, l as BoolVar, ae as CONTINUOUS, r as Constraint, ee as GLPKSolver, c as HiGHS, h as HighsSolver, ie as INTEGER, k as LinExpr, J as LpBinary, K as LpContinuous, q as LpInteger, G as LpMaximize, W as LpMinimize, ne as LpProblem, Y as LpStatus, X as LpVariable, $ as MAXIMIZE, Q as MINIMIZE, ce as MipModel, n as MockSolver, U as Model, T as OFFICIAL_HIGHS_CDN_WASM_URL, O as QuadExpr, N as Var, m as Z3Solver, o as and, z as c, B as expr, H as generateLpString, E as getGlpk, x as getHighs, C as getHighsWasmUrl, s as getSolver, a as implies, b as isValidWasmHeader, t as listAvailableSolvers, j as lpSum, oe as maximize, se as minimize, e as not, g as or, L as parseConstraint, I as parseExpr, v as probeWasmUrl, d as registerSolver, u as registerZ3Solver, S as resolveBrowserWasmUrl, p as setDefaultSolver, w as setHighsWasmUrl, y as solveLpWithHighs, A as sum, Z as value, _ as xor, te as xsum };