@ohtaman/washi 0.4.0 → 0.6.0

package/dist/browser/loader-CVt4CloI.js

@@ -1,58 +0,0 @@
-//#region \0washi-browser-assets
-var e = import.meta.url;
-function t(t) {
-	if (!e) throw Error("[WaSHI] Load the browser IIFE using an external script src, or use the browser ESM build.");
-	return new URL(t, e).href;
-}
-function n() {
-	return t("highs.wasm");
-}
-//#endregion
-//#region src/modeler/solvers/highs/loader.ts
-var r = "https://cdn.jsdelivr.net/npm/highs@1.15.3/build/highs.wasm", i = null, a = null, o = null;
-function s(e) {
-	o = e, i = null, a = null;
-}
-function c() {
-	return o;
-}
-function l(e) {
-	return e.length >= 4 && e[0] === 0 && e[1] === 97 && e[2] === 115 && e[3] === 109;
-}
-async function u(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 : l(r);
-	} catch {
-		return !1;
-	}
-}
-async function d(e) {
-	return e || o || n();
-}
-async function f(e = {}) {
-	let t = await d(e.wasmUrl), n = t ?? "node";
-	if (i && a === n) return i;
-	a = n;
-	let r = (async () => {
-		let e = (await import("./browser-runtime-D13gHOT5.js")).default;
-		return await e({ locateFile: (e) => e.endsWith(".wasm") ? t : e });
-	})().catch((e) => {
-		i === r && (i = null, a = null);
-		let n = e instanceof Error ? e.message : String(e);
-		throw Error(`[WaSHI] Failed to initialize HiGHS${t ? ` from "${t}"` : ""}. Deploy the package's WASM asset or explicitly set wasmUrl; no CDN fallback is attempted. ${n}`, { cause: e });
-	});
-	return i = r, r;
-}
-async function p(e, t = {}) {
-	let n = await f(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 { u as a, p as c, l as i, t as l, f as n, d as o, c as r, s, r as t };

package/dist/lib/async-mutex-Duo4jwzn.js

@@ -1,195 +0,0 @@
-//#region node_modules/async-mutex/index.mjs
-var e = /* @__PURE__ */ Error("timeout while waiting for mutex to become available"), t = /* @__PURE__ */ Error("mutex already locked"), n = /* @__PURE__ */ Error("request for lock canceled"), r = function(e, t, n, r) {
-	function i(e) {
-		return e instanceof n ? e : new n(function(t) {
-			t(e);
-		});
-	}
-	return new (n ||= Promise)(function(n, a) {
-		function o(e) {
-			try {
-				c(r.next(e));
-			} catch (e) {
-				a(e);
-			}
-		}
-		function s(e) {
-			try {
-				c(r.throw(e));
-			} catch (e) {
-				a(e);
-			}
-		}
-		function c(e) {
-			e.done ? n(e.value) : i(e.value).then(o, s);
-		}
-		c((r = r.apply(e, t || [])).next());
-	});
-}, i = class {
-	constructor(e, t = n) {
-		if (this._maxConcurrency = e, this._cancelError = t, this._queue = [], this._waiters = [], e <= 0) throw Error("semaphore must be initialized to a positive value");
-		this._value = e;
-	}
-	acquire() {
-		let e = this.isLocked(), t = new Promise((e, t) => this._queue.push({
-			resolve: e,
-			reject: t
-		}));
-		return e || this._dispatch(), t;
-	}
-	runExclusive(e) {
-		return r(this, void 0, void 0, function* () {
-			let [t, n] = yield this.acquire();
-			try {
-				return yield e(t);
-			} finally {
-				n();
-			}
-		});
-	}
-	waitForUnlock() {
-		return r(this, void 0, void 0, function* () {
-			return this.isLocked() ? new Promise((e) => this._waiters.push({ resolve: e })) : Promise.resolve();
-		});
-	}
-	isLocked() {
-		return this._value <= 0;
-	}
-	release() {
-		if (this._maxConcurrency > 1) throw Error("this method is unavailable on semaphores with concurrency > 1; use the scoped release returned by acquire instead");
-		if (this._currentReleaser) {
-			let e = this._currentReleaser;
-			this._currentReleaser = void 0, e();
-		}
-	}
-	cancel() {
-		this._queue.forEach((e) => e.reject(this._cancelError)), this._queue = [];
-	}
-	_dispatch() {
-		let e = this._queue.shift();
-		if (!e) return;
-		let t = !1;
-		this._currentReleaser = () => {
-			t || (t = !0, this._value++, this._resolveWaiters(), this._dispatch());
-		}, e.resolve([this._value--, this._currentReleaser]);
-	}
-	_resolveWaiters() {
-		this._waiters.forEach((e) => e.resolve()), this._waiters = [];
-	}
-}, a = function(e, t, n, r) {
-	function i(e) {
-		return e instanceof n ? e : new n(function(t) {
-			t(e);
-		});
-	}
-	return new (n ||= Promise)(function(n, a) {
-		function o(e) {
-			try {
-				c(r.next(e));
-			} catch (e) {
-				a(e);
-			}
-		}
-		function s(e) {
-			try {
-				c(r.throw(e));
-			} catch (e) {
-				a(e);
-			}
-		}
-		function c(e) {
-			e.done ? n(e.value) : i(e.value).then(o, s);
-		}
-		c((r = r.apply(e, t || [])).next());
-	});
-}, o = class {
-	constructor(e) {
-		this._semaphore = new i(1, e);
-	}
-	acquire() {
-		return a(this, void 0, void 0, function* () {
-			let [, e] = yield this._semaphore.acquire();
-			return e;
-		});
-	}
-	runExclusive(e) {
-		return this._semaphore.runExclusive(() => e());
-	}
-	isLocked() {
-		return this._semaphore.isLocked();
-	}
-	waitForUnlock() {
-		return this._semaphore.waitForUnlock();
-	}
-	release() {
-		this._semaphore.release();
-	}
-	cancel() {
-		return this._semaphore.cancel();
-	}
-}, s = function(e, t, n, r) {
-	function i(e) {
-		return e instanceof n ? e : new n(function(t) {
-			t(e);
-		});
-	}
-	return new (n ||= Promise)(function(n, a) {
-		function o(e) {
-			try {
-				c(r.next(e));
-			} catch (e) {
-				a(e);
-			}
-		}
-		function s(e) {
-			try {
-				c(r.throw(e));
-			} catch (e) {
-				a(e);
-			}
-		}
-		function c(e) {
-			e.done ? n(e.value) : i(e.value).then(o, s);
-		}
-		c((r = r.apply(e, t || [])).next());
-	});
-};
-function c(t, n, r = e) {
-	return {
-		acquire: () => new Promise((e, i) => s(this, void 0, void 0, function* () {
-			let a = !1, o = setTimeout(() => {
-				a = !0, i(r);
-			}, n);
-			try {
-				let n = yield t.acquire();
-				a ? (Array.isArray(n) ? n[1] : n)() : (clearTimeout(o), e(n));
-			} catch (e) {
-				a || (clearTimeout(o), i(e));
-			}
-		})),
-		runExclusive(e) {
-			return s(this, void 0, void 0, function* () {
-				let t = () => void 0;
-				try {
-					let n = yield this.acquire();
-					return Array.isArray(n) ? (t = n[1], yield e(n[0])) : (t = n, yield e());
-				} finally {
-					t();
-				}
-			});
-		},
-		release() {
-			t.release();
-		},
-		cancel() {
-			return t.cancel();
-		},
-		waitForUnlock: () => t.waitForUnlock(),
-		isLocked: () => t.isLocked()
-	};
-}
-function l(e, n = t) {
-	return c(e, 0, n);
-}
-//#endregion
-export { t as E_ALREADY_LOCKED, n as E_CANCELED, e as E_TIMEOUT, o as Mutex, i as Semaphore, l as tryAcquire, c as withTimeout };

package/dist/lib/constraint-BRuB3ooC.js

@@ -1,90 +0,0 @@
-//#region src/modeler/boolean-expr.ts
-var e = 0, t = class {
-	and(e) {
-		return new r("and", [this, e]);
-	}
-	or(e) {
-		return new r("or", [this, e]);
-	}
-	implies(e) {
-		return new r("implies", [this, e]);
-	}
-	xor(e) {
-		return new r("xor", [this, e]);
-	}
-	not() {
-		return new r("not", [this]);
-	}
-}, n = class extends t {
-	id;
-	name;
-	value = null;
-	constructor(t) {
-		super(), this.id = ++e, this.name = t || `p_${this.id}`;
-	}
-	toString() {
-		return this.name;
-	}
-}, r = class extends t {
-	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 i(...e) {
-	if (e.length === 0) throw Error("and() requires at least one expression");
-	return new r("and", e);
-}
-function a(...e) {
-	if (e.length === 0) throw Error("or() requires at least one expression");
-	return new r("or", e);
-}
-function o(e) {
-	return new r("not", [e]);
-}
-function s(e, t) {
-	return new r("implies", [e, t]);
-}
-function c(...e) {
-	if (e.length === 0) throw Error("xor() requires at least one expression");
-	return new r("xor", e);
-}
-//#endregion
-//#region src/modeler/constraint.ts
-var l = 0, u = class {
-	id;
-	lhs;
-	sense;
-	rhs;
-	name;
-	slack = null;
-	dual = null;
-	constructor(e, t, n, r) {
-		this.id = ++l, this.lhs = e, this.sense = t, this.rhs = n, this.name = r || `c_${this.id}`;
-	}
-	and(e) {
-		return new r("and", [this, e]);
-	}
-	or(e) {
-		return new r("or", [this, e]);
-	}
-	implies(e) {
-		return new r("implies", [this, e]);
-	}
-	xor(e) {
-		return new r("xor", [this, e]);
-	}
-	not() {
-		return new r("not", [this]);
-	}
-	toString() {
-		let e = this.sense === "==" ? "=" : this.sense;
-		return `${this.name}: ${this.lhs.toString()} ${e} ${this.rhs}`;
-	}
-};
-//#endregion
-export { i as a, a as c, n as i, c as l, t as n, s as o, r, o as s, u as t };

package/dist/lib/loader-Dti0v9yC.js

@@ -1,50 +0,0 @@
-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

@@ -1,32 +0,0 @@
-//#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 };