@ohtaman/washi 0.2.0 → 0.4.0

package/dist/lib/{constraint-XWdn0ID9.js → constraint-BRuB3ooC.js}

@@ -66,9 +66,6 @@ var l = 0, u = class {
 	constructor(e, t, n, r) {
 		this.id = ++l, this.lhs = e, this.sense = t, this.rhs = n, this.name = r || `c_${this.id}`;
 	}
-	get pi() {
-		return this.dual;
-	}
 	and(e) {
 		return new r("and", [this, e]);
 	}

package/dist/lib/solvers/glpk.js

@@ -109,7 +109,7 @@ var o = class e {
 		let g = {
 			name: e.name || "GLPK_Model",
 			objective: {
-				direction: e.sense === "Maximize" ? a.GLP_MAX : a.GLP_MIN,
+				direction: e.sense && e.sense.toLowerCase() === "maximize" ? a.GLP_MAX : a.GLP_MIN,
 				name: "obj",
 				vars: u
 			},
@@ -122,7 +122,15 @@ var o = class e {
 		};
 		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";
+		if (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", S === "Infeasible" || S === "Unbounded") return {
+			status: S,
+			objectiveValue: null,
+			values: {},
+			duals: {},
+			slacks: {},
+			runTime: b,
+			raw: y
+		};
 		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;

package/dist/lib/solvers/z3.js

@@ -1,4 +1,4 @@
-import { i as e, r as t, t as n } from "../constraint-XWdn0ID9.js";
+import { i as e, r as t, t as n } from "../constraint-BRuB3ooC.js";
 import { r } from "../registry-DksqCSjI.js";
 import { getBundledZ3AssetUrls as i } from "./z3-assets.js";
 //#region src/modeler/solvers/z3/loader.ts
@@ -110,11 +110,16 @@ function b() {
 }
 async function x(e, t) {
 	try {
-		let n = await fetch(e, {
+		let n = null;
+		try {
+			let t = await fetch(e, { method: "HEAD" });
+			t.ok && (n = t);
+		} catch {}
+		if (n ||= await fetch(e, {
 			method: "GET",
-			headers: { Range: "bytes=0-3" }
-		});
-		if (!n.ok) throw Error(`server responded with HTTP status ${n.status} (${n.statusText || "Not Found"})`);
+			headers: { Range: "bytes=0-3" },
+			cache: "no-store"
+		}), !n.ok) throw Error(`server responded with HTTP status ${n.status} (${n.statusText || "Not Found"})`);
 		if ((n.headers.get("content-type") || "").includes("text/html")) throw Error(`server responded with "text/html" instead of expected ${t} (check SPA fallback routing)`);
 	} catch (n) {
 		throw Error(`[WaSHI] Failed to load Z3 asset (${t}) from "${e}": ${n.message || String(n)}. Deploy local assets with correct MIME types; no CDN fallback is attempted.`, { cause: n });
@@ -137,10 +142,30 @@ function S(e = {}) {
 }
 async function C(e) {
 	let t = globalThis;
-	if (typeof t.initZ3 == "function") return t.initZ3;
-	if (typeof document < "u") await new Promise((t, n) => {
-		let r = document.createElement("script");
-		r.src = e, r.crossOrigin = "anonymous", r.onload = () => t(), r.onerror = () => n(/* @__PURE__ */ Error(`[WaSHI] Failed to load Z3 runtime script from "${e}".`)), document.head.appendChild(r);
+	if (t.global === void 0 && (t.global = t), typeof t.initZ3 == "function") return t.initZ3;
+	if (typeof document < "u") await new Promise((n, r) => {
+		let i = null, a = (e) => {
+			try {
+				let t = typeof document < "u" && document.baseURI ? document.baseURI : void 0, n = new URL(e, t);
+				return n.origin + n.pathname;
+			} catch {
+				return e;
+			}
+		}, o = a(e), s = (t) => {
+			t.filename && (a(t.filename) === o || t.filename === e || t.filename.endsWith(o) || o.endsWith(t.filename)) && (i = t.error || t.message);
+		}, c = typeof window < "u" && typeof window.addEventListener == "function";
+		c && window.addEventListener("error", s);
+		let l = document.createElement("script");
+		l.src = e, l.crossOrigin = "anonymous", l.onload = () => {
+			if (c && window.removeEventListener("error", s), typeof t.initZ3 != "function" && i) {
+				let t = i instanceof Error ? `${i.name}: ${i.message}` : typeof i == "string" ? i : i?.message ? `${i.name ? i.name + ": " : ""}${i.message}` : String(i);
+				r(/* @__PURE__ */ Error(`[WaSHI] Failed to evaluate Z3 runtime script from "${e}": ${t}`));
+				return;
+			}
+			n();
+		}, l.onerror = () => {
+			c && window.removeEventListener("error", s), r(/* @__PURE__ */ Error(`[WaSHI] Failed to load Z3 runtime script from "${e}".`));
+		}, document.head.appendChild(l);
 	});
 	else if (typeof globalThis.importScripts == "function") globalThis.importScripts(e);
 	else throw Error("[WaSHI] Cannot load z3-built.js in this environment: neither document nor importScripts is available.");
@@ -448,4 +473,4 @@ function D() {
 }
 D();
 //#endregion
-export { E as Z3Solver, T as killZ3Threads, w as loadZ3, g as notifyZ3WorkerError, h as registerZ3ErrorHandler, D as registerZ3Solver, y as resetZ3LoaderCache, S as resolveZ3AssetUrls, v as setZ3Assets, p as unlockAllZ3Semaphores, b as validateZ3BrowserEnvironment };
+export { E as Z3Solver, C as ensureInitZ3Loaded, T as killZ3Threads, w as loadZ3, g as notifyZ3WorkerError, x as probeAssetUrl, h as registerZ3ErrorHandler, D as registerZ3Solver, y as resetZ3LoaderCache, S as resolveZ3AssetUrls, v as setZ3Assets, p as unlockAllZ3Semaphores, b as validateZ3BrowserEnvironment };