@ohtaman/washi 0.1.2 → 0.2.0

package/dist/lib/glpk-5cUpjyb9.js

@@ -1,135 +0,0 @@
-//#region src/glpk-loader.ts
-var e = null;
-async function t() {
-	return e || (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"
-);
-				return await (e.default || e)();
-			}
-			let t = await import("glpk.js");
-			return await (t.default || t)();
-		} catch (e) {
-			throw Error("[WaSHI] Could not load GLPK. Install the optional glpk.js dependency before selecting this solver.", { cause: e });
-		}
-	})(), e);
-}
-//#endregion
-//#region src/modeler/solvers/glpk.ts
-var n = 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, n, r = {}) {
-		let i = {
-			...this.options,
-			...r
-		}, a = await t(), { nameToVar: o, nameToConstraint: s } = n, 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
-		};
-	}
-};
-//#endregion
-export { t as n, n as t };

package/dist/lib/z3-C6GeIicJ.js

@@ -1,509 +0,0 @@
-import { c as e, o as t } from "./highs-loader-Blb99785.js";
-import { t as n } from "./glpk-5cUpjyb9.js";
-import { createHighsWorker as r } from "./highs-worker-factory.js";
-//#region src/modeler/boolean-expr.ts
-var i = 0, a = class {
-	and(e) {
-		return new s("and", [this, e]);
-	}
-	or(e) {
-		return new s("or", [this, e]);
-	}
-	implies(e) {
-		return new s("implies", [this, e]);
-	}
-	xor(e) {
-		return new s("xor", [this, e]);
-	}
-	not() {
-		return new s("not", [this]);
-	}
-}, o = class extends a {
-	id;
-	name;
-	value = null;
-	constructor(e) {
-		super(), this.id = ++i, this.name = e || `p_${this.id}`;
-	}
-	toString() {
-		return this.name;
-	}
-}, s = class extends a {
-	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 c(...e) {
-	if (e.length === 0) throw Error("and() requires at least one expression");
-	return new s("and", e);
-}
-function l(...e) {
-	if (e.length === 0) throw Error("or() requires at least one expression");
-	return new s("or", e);
-}
-function u(e) {
-	return new s("not", [e]);
-}
-function d(e, t) {
-	return new s("implies", [e, t]);
-}
-function f(...e) {
-	if (e.length === 0) throw Error("xor() requires at least one expression");
-	return new s("xor", e);
-}
-//#endregion
-//#region src/modeler/constraint.ts
-var p = 0, m = class {
-	id;
-	lhs;
-	sense;
-	rhs;
-	name;
-	slack = null;
-	dual = null;
-	constructor(e, t, n, r) {
-		this.id = ++p, this.lhs = e, this.sense = t, this.rhs = n, this.name = r || `c_${this.id}`;
-	}
-	get pi() {
-		return this.dual;
-	}
-	and(e) {
-		return new s("and", [this, e]);
-	}
-	or(e) {
-		return new s("or", [this, e]);
-	}
-	implies(e) {
-		return new s("implies", [this, e]);
-	}
-	xor(e) {
-		return new s("xor", [this, e]);
-	}
-	not() {
-		return new s("not", [this]);
-	}
-	toString() {
-		let e = this.sense === "==" ? "=" : this.sense;
-		return `${this.name}: ${this.lhs.toString()} ${e} ${this.rhs}`;
-	}
-}, h = null, g = 0, _ = /* @__PURE__ */ new Map();
-function v() {
-	if (typeof window > "u" || typeof Worker > "u") return null;
-	if (!h) try {
-		h = r();
-		let e = h;
-		h.onmessage = (e) => {
-			let { type: t, id: n, result: r, runTime: i, error: a } = e.data, o = _.get(n);
-			o && (_.delete(n), t === "SOLVE_SUCCESS" ? o.resolve({
-				result: r,
-				runTime: i
-			}) : o.reject(Error(a || "Worker solve failed")));
-		};
-		let t = (t) => {
-			if (h === e) {
-				h = null, e.terminate();
-				for (let e of _.values()) e.reject(t);
-				_.clear();
-			}
-		};
-		h.onerror = (e) => t(/* @__PURE__ */ Error(`[WaSHI] HiGHS Worker failed to load or execute. Check Worker assets, CORS and CSP. ${e.message || ""}`)), h.onmessageerror = () => t(/* @__PURE__ */ Error("[WaSHI] Could not deserialize the HiGHS Worker response."));
-	} catch (e) {
-		console.warn("Could not instantiate Web Worker, falling back to main thread:", e), h = null;
-	}
-	return h;
-}
-async function y(n, r = {}) {
-	let i = await t(r.wasmUrl), a = r.useWorker ?? typeof window < "u" ? v() : null;
-	if (!a) return e(n, r);
-	let o = {
-		...r,
-		wasmUrl: i
-	}, s = `req_${++g}`;
-	return new Promise((e, t) => {
-		_.set(s, {
-			resolve: e,
-			reject: t
-		});
-		try {
-			a.postMessage({
-				type: "SOLVE",
-				id: s,
-				lpString: n,
-				options: o
-			});
-		} catch (e) {
-			_.delete(s), t(e);
-		}
-	});
-}
-//#endregion
-//#region src/modeler/solvers/highs.ts
-function b(e) {
-	if (typeof e != "string") return "Unknown";
-	let t = e.trim();
-	if (!t) return "Unknown";
-	switch (t) {
-		case "Optimal": return "Optimal";
-		case "Infeasible": return "Infeasible";
-		case "Unbounded": return "Unbounded";
-		case "Primal infeasible or unbounded": return "Unknown";
-		case "Time limit reached":
-		case "TimeLimit": return "TimeLimit";
-		case "Iteration limit reached":
-		case "IterationLimit": return "IterationLimit";
-		case "Bound on objective reached":
-		case "Target for objective reached":
-		case "Feasible": return "Feasible";
-		case "Not Set": return "NotSolved";
-		case "Load error":
-		case "Model error":
-		case "Presolve error":
-		case "Solve error":
-		case "Postsolve error":
-		case "Error": return "Error";
-		case "Empty":
-		case "Unknown": return "Unknown";
-	}
-	let n = t.toLowerCase();
-	return n.includes("infeasible") && n.includes("unbounded") ? "Unknown" : n.includes("infeasible") ? "Infeasible" : n.includes("unbounded") ? "Unbounded" : n.includes("time limit") || n.includes("timelimit") ? "TimeLimit" : n.includes("iteration limit") || n.includes("iterationlimit") ? "IterationLimit" : n.includes("error") ? "Error" : n === "optimal" ? "Optimal" : "Unknown";
-}
-var x = class e {
-	static capabilities = {
-		supportsMIP: !0,
-		supportsQP: !0
-	};
-	name = "HiGHS";
-	version = "1.15.3";
-	capabilities = e.capabilities;
-	options;
-	constructor(e = {}) {
-		this.options = e;
-	}
-	async solve(e, t, n = {}) {
-		let r = {
-			...this.options,
-			...n
-		}, { lpString: i, nameToVar: a, nameToConstraint: o } = t, { result: s, runTime: c } = await y(i, r), l = b(s?.Status), u = s.ObjectiveValue, d = typeof u == "number" ? u + e.objective.constant : null, f = {}, p = {}, m = {}, h = {};
-		if (s.Columns) for (let [e, t] of Object.entries(s.Columns)) {
-			let n = a.get(e);
-			if (n) {
-				let e = Math.abs(t.Primal) < 1e-9 ? 0 : t.Primal;
-				f[n.name] = e, t.Dual !== void 0 && (m[n.name] = Math.abs(t.Dual) < 1e-9 ? 0 : t.Dual);
-			}
-		}
-		if (s.Rows) {
-			let e = Array.isArray(s.Rows) ? s.Rows : Object.values(s.Rows);
-			for (let t of e) {
-				let e = t.Name, n = o.get(e);
-				if (n && (t.Dual !== void 0 && (p[n.name] = Math.abs(t.Dual) < 1e-9 ? 0 : t.Dual), t.Primal !== void 0)) {
-					let e = n.rhs - t.Primal;
-					h[n.name] = Math.abs(e) < 1e-9 ? 0 : e;
-				}
-			}
-		}
-		return {
-			status: l,
-			objectiveValue: d,
-			values: f,
-			reducedCosts: m,
-			duals: p,
-			slacks: h,
-			runTime: c,
-			raw: s
-		};
-	}
-}, S = x, C = class {
-	name;
-	capabilities;
-	options;
-	constructor(e = {}) {
-		this.name = e.name || "MockSolver", this.capabilities = e.capabilities || {
-			supportsMIP: !0,
-			supportsQP: !0
-		}, this.options = e;
-	}
-	async solve(e, t, n = {}) {
-		let r = {
-			...this.options,
-			...n
-		};
-		return r.delayMs && r.delayMs > 0 && await new Promise((e) => setTimeout(e, r.delayMs)), {
-			status: r.status || "Optimal",
-			objectiveValue: r.objectiveValue ?? 0,
-			values: r.values || {},
-			reducedCosts: r.reducedCosts,
-			duals: r.duals,
-			slacks: r.slacks,
-			runTime: .001,
-			raw: { mock: !0 }
-		};
-	}
-}, w = /* @__PURE__ */ new Map();
-w.set("highs", (e) => new x(e)), w.set("glpk", (e) => new n(e)), w.set("mock", (e) => new C(e));
-var T = (e) => new x(e);
-function E(e, t) {
-	w.set(e.toLowerCase(), t);
-}
-function D(e) {
-	if (typeof e == "string") {
-		let t = w.get(e.toLowerCase());
-		if (!t) throw Error(`Solver '${e}' is not registered.`);
-		T = t;
-	} else T = typeof e == "function" ? e : () => e;
-}
-function O(e, t) {
-	if (!e) return T(t);
-	if (typeof e == "string") {
-		let n = w.get(e.toLowerCase());
-		if (!n) throw Error(`Solver '${e}' not found. Available solvers: ${k().join(", ")}`);
-		return n(t);
-	}
-	return e;
-}
-function k() {
-	return Array.from(w.keys());
-}
-//#endregion
-//#region src/modeler/solvers/z3.ts
-var A = null;
-async function j() {
-	if (!A) {
-		let e = (async () => {
-			try {
-				return await (await import("z3-solver")).init();
-			} catch (e) {
-				throw Error(`[WaSHI] Failed to load z3-solver. Ensure the optional dependency is installed (npm install z3-solver) and supported in this environment. Error: ${e instanceof Error ? e.message : String(e)}`, { cause: e });
-			}
-		})();
-		e.catch(() => {
-			A === e && (A = null);
-		}), A = e;
-	}
-	return A;
-}
-function M() {
-	A = null;
-}
-var N = class {
-	name = "z3";
-	capabilities = {
-		supportsMIP: !0,
-		supportsQP: !1,
-		supportsSMT: !0,
-		supportsUnsatCore: !0
-	};
-	createContextTranslator(e) {
-		let t = /* @__PURE__ */ new Map(), n = /* @__PURE__ */ new Map();
-		function r(n) {
-			if (!t.has(n.name)) {
-				let r = n.type === "Continuous" || n.type === "CONTINUOUS" ? e.Real.const(n.name) : e.Int.const(n.name);
-				t.set(n.name, r);
-			}
-			return t.get(n.name);
-		}
-		function i(t) {
-			if (!n.has(t.name)) {
-				let r = e.Bool.const(t.name);
-				n.set(t.name, r);
-			}
-			return n.get(t.name);
-		}
-		function a(t) {
-			return typeof e.isInt == "function" && e.isInt(t) ? e.ToReal(t) : t;
-		}
-		function c(t, n) {
-			let r = typeof e.isInt == "function" && e.isInt(t), i = typeof e.isInt == "function" && e.isInt(n);
-			return r && i ? t.add(n) : a(t).add(a(n));
-		}
-		function l(t, n) {
-			return typeof e.isInt == "function" && e.isInt(t) && Number.isInteger(n) ? t.mul(e.Int.val(n)) : a(t).mul(e.Real.val(n));
-		}
-		function u(t, n) {
-			let r = typeof e.isInt == "function" && e.isInt(t), i = typeof e.isInt == "function" && e.isInt(n);
-			return r && i ? t.mul(n) : a(t).mul(a(n));
-		}
-		function d(t, n) {
-			return n && Number.isInteger(t) ? e.Int.val(t) : e.Real.val(t);
-		}
-		function f(t, n, r) {
-			let i = typeof e.isInt == "function" && e.isInt(t) && Number.isInteger(r), o = i ? t : a(t), s = i ? e.Int.val(r) : e.Real.val(r);
-			return n === "<=" ? o.le(s) : n === ">=" ? o.ge(s) : o.eq(s);
-		}
-		function p(t) {
-			let n = null;
-			if (t && t.terms) for (let [e, i] of t.terms.entries()) {
-				let t = l(r(e), i);
-				n = n === null ? t : c(n, t);
-			}
-			let i = t && typeof t.constant == "number" ? t.constant : 0;
-			if (i !== 0 || n === null) {
-				let t = d(i, n === null || typeof e.isInt == "function" && e.isInt(n));
-				n = n === null ? t : c(n, t);
-			}
-			return n;
-		}
-		function h(t) {
-			let n = null;
-			if (t.linearTerms) for (let [e, i] of t.linearTerms.entries()) {
-				let t = l(r(e), i);
-				n = n === null ? t : c(n, t);
-			}
-			if (t.quadTerms) for (let e of t.quadTerms.values()) {
-				let t = l(u(r(e.var1), r(e.var2)), e.coeff);
-				n = n === null ? t : c(n, t);
-			}
-			let i = t && typeof t.constant == "number" ? t.constant : 0;
-			if (i !== 0 || n === null) {
-				let t = d(i, n === null || typeof e.isInt == "function" && e.isInt(n));
-				n = n === null ? t : c(n, t);
-			}
-			return n;
-		}
-		function g(e) {
-			let t = e.lhs instanceof Object && "quadTerms" in e.lhs ? h(e.lhs) : p(e.lhs), n = typeof e.rhs == "number" ? e.rhs : 0;
-			return f(t, e.sense, n);
-		}
-		function _(t) {
-			if (t instanceof o) return i(t);
-			if (t instanceof m) return g(t);
-			if (t instanceof s) switch (t.op) {
-				case "and": return e.And(...t.children.map(_));
-				case "or": return e.Or(...t.children.map(_));
-				case "not": return e.Not(_(t.children[0]));
-				case "implies": return e.Implies(_(t.children[0]), _(t.children[1]));
-				case "xor": return e.Xor(_(t.children[0]), _(t.children[1]));
-				default: throw Error(`Unsupported boolean operation: ${t.op}`);
-			}
-			throw Error(`Unknown logic element: ${String(t)}`);
-		}
-		function v(e) {
-			if (!e) return 0;
-			if (typeof e.asNumber == "function") return e.asNumber();
-			let t = e.toString();
-			if (t.startsWith("(/ ")) {
-				let e = t.slice(3, -1).trim().split(/\s+/);
-				if (e.length === 2) return Number(e[0]) / Number(e[1]);
-			}
-			return Number(t);
-		}
-		return {
-			getVarAst: r,
-			getBoolVarAst: i,
-			compareAstWithNumber: f,
-			translateLinExpr: p,
-			translateQuadExpr: h,
-			translateConstraint: g,
-			translateBoolExpr: _,
-			parseAstValue: v,
-			varAstMap: t,
-			boolVarAstMap: n
-		};
-	}
-	async check(e, t = {}) {
-		let { Context: n } = await j(), r = new n(`check_${Date.now()}_${Math.random().toString(36).substring(2, 7)}`), i = new r.Solver(), a = this.createContextTranslator(r), o = e.variables || e.vars || [], s = e.boolVars || [], c = e.constraints || [], l = e.logicalConstraints || [];
-		for (let e of o) {
-			let t = a.getVarAst(e);
-			e.lb !== -Infinity && i.add(a.compareAstWithNumber(t, ">=", e.lb)), e.ub !== Infinity && i.add(a.compareAstWithNumber(t, "<=", e.ub)), (e.type === "Binary" || e.type === "BINARY") && (i.add(a.compareAstWithNumber(t, ">=", 0)), i.add(a.compareAstWithNumber(t, "<=", 1)));
-		}
-		for (let e of c) {
-			let t = a.translateConstraint(e), n = r.Bool.const(e.name);
-			i.addAndTrack(t, n);
-		}
-		for (let e = 0; e < l.length; e++) {
-			let t = l[e], n = t && t.name || `lc_${e + 1}`, o = t && t.expr || t, s = a.translateBoolExpr(o), c = r.Bool.const(n);
-			i.addAndTrack(s, c);
-		}
-		let u = (await i.check()).toString();
-		if (u === "sat") {
-			let e = i.model(), t = {};
-			for (let n of o) {
-				let r = a.getVarAst(n), i = e.eval(r);
-				t[n.name] = a.parseAstValue(i);
-			}
-			for (let n of s) {
-				let r = a.getBoolVarAst(n), i = e.eval(r);
-				t[n.name] = i.toString() === "true";
-			}
-			return {
-				status: "Sat",
-				values: t
-			};
-		}
-		if (u === "unsat") {
-			let e = i.unsatCore(), t = [], n = typeof e.length == "function" ? e.length() : e.length;
-			for (let r = 0; r < n; r++) t.push(e.get(r).toString());
-			return {
-				status: "Unsat",
-				values: {},
-				unsatCore: t
-			};
-		}
-		return {
-			status: "Unknown",
-			values: {}
-		};
-	}
-	async solve(e, t, n = {}) {
-		if (!(e.objective !== null && e.objective !== void 0 && ("terms" in e.objective && e.objective.terms.size > 0 || "quadTerms" in e.objective && e.objective.quadTerms.length > 0 || e.objective.offset && e.objective.offset !== 0))) {
-			let t = await this.check(e, n), r = {};
-			for (let [e, n] of Object.entries(t.values)) r[e] = typeof n == "boolean" ? +!!n : n;
-			return {
-				status: t.status === "Sat" ? "Optimal" : t.status === "Unsat" ? "Infeasible" : "Error",
-				objectiveValue: 0,
-				values: r
-			};
-		}
-		let { Context: r } = await j(), i = new r(`opt_${Date.now()}_${Math.random().toString(36).substring(2, 7)}`), a = new i.Optimize(), o = this.createContextTranslator(i), s = e.variables || e.vars || [], c = e.boolVars || [], l = e.constraints || [], u = e.logicalConstraints || [];
-		for (let e of s) {
-			let t = o.getVarAst(e);
-			e.lb !== -Infinity && a.add(o.compareAstWithNumber(t, ">=", e.lb)), e.ub !== Infinity && a.add(o.compareAstWithNumber(t, "<=", e.ub)), (e.type === "Binary" || e.type === "BINARY") && (a.add(o.compareAstWithNumber(t, ">=", 0)), a.add(o.compareAstWithNumber(t, "<=", 1)));
-		}
-		for (let e of l) {
-			let t = o.translateConstraint(e);
-			a.add(t);
-		}
-		for (let e of u) {
-			let t = e && e.expr || e, n = o.translateBoolExpr(t);
-			a.add(n);
-		}
-		let d = e.objective instanceof Object && "quadTerms" in e.objective ? o.translateQuadExpr(e.objective) : o.translateLinExpr(e.objective);
-		(e.sense || "MINIMIZE").toUpperCase() === "MAXIMIZE" ? a.maximize(d) : a.minimize(d);
-		let f = (await a.check()).toString();
-		if (f === "sat") {
-			let e = a.model(), t = {};
-			for (let n of s) {
-				let r = o.getVarAst(n), i = e.eval(r);
-				t[n.name] = o.parseAstValue(i);
-			}
-			for (let n of c) {
-				let r = o.getBoolVarAst(n), i = e.eval(r);
-				t[n.name] = +(i.toString() === "true");
-			}
-			return {
-				status: "Optimal",
-				objectiveValue: o.parseAstValue(e.eval(d)),
-				values: t
-			};
-		}
-		return f === "unsat" ? {
-			status: "Infeasible",
-			objectiveValue: null,
-			values: {}
-		} : {
-			status: "Error",
-			objectiveValue: null,
-			values: {}
-		};
-	}
-};
-function P() {
-	E("z3", () => new N());
-}
-P();
-//#endregion
-export { u as _, k as a, C as c, m as d, a as f, d as g, c as h, O as i, S as l, o as m, P as n, E as o, s as p, M as r, D as s, N as t, x as u, l as v, f as y };

package/dist/types/glpk-loader.d.ts

@@ -1,8 +0,0 @@
-/**
- * Loader for GLPK (GNU Linear Programming Kit) WebAssembly / JS engine.
- * Supports both Node.js (glpk.js/node) and modern browsers (glpk.js worker).
- */
-type GlpkInstance = any;
-export declare function getGlpk(): Promise<GlpkInstance>;
-export {};
-//# sourceMappingURL=glpk-loader.d.ts.map

package/dist/types/glpk-loader.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"glpk-loader.d.ts","sourceRoot":"","sources":["../../src/glpk-loader.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,KAAK,YAAY,GAAG,GAAG,CAAC;AAIxB,wBAAsB,OAAO,IAAI,OAAO,CAAC,YAAY,CAAC,CA8BrD"}

package/dist/types/highs-assets.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"highs-assets.d.ts","sourceRoot":"","sources":["../../src/highs-assets.ts"],"names":[],"mappings":"AAAA,yFAAyF;AACzF,wBAAgB,iBAAiB,IAAI,MAAM,CAE1C"}

package/dist/types/highs-browser-runtime.d.ts

@@ -1,2 +0,0 @@
-export { default } from "highs";
-//# sourceMappingURL=highs-browser-runtime.d.ts.map

package/dist/types/highs-browser-runtime.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"highs-browser-runtime.d.ts","sourceRoot":"","sources":["../../src/highs-browser-runtime.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,OAAO,CAAC"}

package/dist/types/highs-loader.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"highs-loader.d.ts","sourceRoot":"","sources":["../../src/highs-loader.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAIvD,eAAO,MAAM,2BAA2B,+DACsB,CAAC;AAE/D,KAAK,aAAa,GAAG,GAAG,CAAC;AAMzB,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,QAKjD;AAED,wBAAgB,eAAe,IAAI,MAAM,GAAG,IAAI,CAE/C;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAQ5D;AAED;;;GAGG;AACH,wBAAsB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAgChE;AAED;;;;GAIG;AACH,wBAAsB,qBAAqB,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CASjF;AAED;;;GAGG;AACH,wBAAsB,QAAQ,CAAC,OAAO,GAAE,YAAiB,GAAG,OAAO,CAAC,aAAa,CAAC,CA8CjF;AAED,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE;QACtB,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,MAAM,CAAC;QACd,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,MAAM,CAAC;QACf,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,IAAI,EAAE,MAAM,CAAC;KACd,CAAC,CAAC;IACH,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QACpB,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,MAAM,CAAC;QACd,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,IAAI,EAAE,MAAM,CAAC;KACd,CAAC,CAAC;CACJ;AAED;;GAEG;AACH,wBAAsB,gBAAgB,CACpC,QAAQ,EAAE,MAAM,EAChB,OAAO,GAAE,YAAiB,GACzB,OAAO,CAAC;IAAE,MAAM,EAAE,mBAAmB,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,CA6B3D"}

package/dist/types/highs-node-runtime.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"highs-node-runtime.d.ts","sourceRoot":"","sources":["../../src/highs-node-runtime.ts"],"names":[],"mappings":"AAAA,wBAAsB,aAAa,IAAI,OAAO,CAAC,GAAG,CAAC,CAElD"}

package/dist/types/highs-worker-client.d.ts

@@ -1,12 +0,0 @@
-import type { SolveOptions } from "./modeler/types.js";
-import { type RawHighsSolveResult } from "./highs-loader.js";
-/**
- * Solve an LP model either in a background Web Worker or on the current thread
- */
-export declare function solveLp(lpString: string, options?: SolveOptions & {
-    useWorker?: boolean;
-}): Promise<{
-    result: RawHighsSolveResult;
-    runTime: number;
-}>;
-//# sourceMappingURL=highs-worker-client.d.ts.map

package/dist/types/highs-worker-client.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"highs-worker-client.d.ts","sourceRoot":"","sources":["../../src/highs-worker-client.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAEL,KAAK,mBAAmB,EAEzB,MAAM,mBAAmB,CAAC;AAwD3B;;GAEG;AACH,wBAAsB,OAAO,CAC3B,QAAQ,EAAE,MAAM,EAChB,OAAO,GAAE,YAAY,GAAG;IAAE,SAAS,CAAC,EAAE,OAAO,CAAA;CAAO,GACnD,OAAO,CAAC;IAAE,MAAM,EAAE,mBAAmB,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,CA0B3D"}

package/dist/types/highs-worker-factory.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"highs-worker-factory.d.ts","sourceRoot":"","sources":["../../src/highs-worker-factory.ts"],"names":[],"mappings":"AAAA,4FAA4F;AAC5F,wBAAgB,iBAAiB,IAAI,MAAM,CAE1C"}