@ohtaman/washi 0.1.2 → 0.3.0

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"}

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

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=highs-worker.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"highs-worker.d.ts","sourceRoot":"","sources":["../../src/highs-worker.ts"],"names":[],"mappings":""}

package/dist/types/modeler/mip-compat.d.ts

@@ -1,43 +0,0 @@
-import { Model as CoreModel } from "./model.js";
-import { Var } from "./variable.js";
-import { LinExpr, xsum } from "./expression.js";
-import { Constraint } from "./constraint.js";
-import type { VarType, OptimizationSense } from "./types.js";
-export declare const MINIMIZE: OptimizationSense;
-export declare const MAXIMIZE: OptimizationSense;
-export declare const BINARY: VarType;
-export declare const INTEGER: VarType;
-export declare const CONTINUOUS: VarType;
-export interface ObjectiveSpec {
-    expr: LinExpr | Var | number | string;
-    sense: OptimizationSense;
-}
-export declare function maximize(expr: LinExpr | Var | number | string): ObjectiveSpec;
-export declare function minimize(expr: LinExpr | Var | number | string): ObjectiveSpec;
-/**
- * python-mip compatible Model class
- */
-export declare class MipModel extends CoreModel {
-    constructor(name?: string, sense?: OptimizationSense);
-    /**
-     * python-mip style variable creation: m.add_var(name="x", var_type=INTEGER, lb=0)
-     */
-    add_var(options?: {
-        name?: string;
-        var_type?: VarType;
-        lb?: number;
-        ub?: number;
-    }): Var;
-    /**
-     * python-mip style objective property setter:
-     * m.objective = maximize(30 * x + 50 * y)
-     */
-    set objective_spec(spec: ObjectiveSpec);
-    get objective_value(): number | null;
-    /**
-     * Add constraint alias
-     */
-    add_constr(constraint: Constraint | string, name?: string): Constraint;
-}
-export { xsum };
-//# sourceMappingURL=mip-compat.d.ts.map

package/dist/types/modeler/mip-compat.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"mip-compat.d.ts","sourceRoot":"","sources":["../../../src/modeler/mip-compat.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAA8B,MAAM,YAAY,CAAC;AAEzF,eAAO,MAAM,QAAQ,EAAE,iBAA8B,CAAC;AACtD,eAAO,MAAM,QAAQ,EAAE,iBAA8B,CAAC;AAEtD,eAAO,MAAM,MAAM,EAAE,OAAkB,CAAC;AACxC,eAAO,MAAM,OAAO,EAAE,OAAmB,CAAC;AAC1C,eAAO,MAAM,UAAU,EAAE,OAAsB,CAAC;AAEhD,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,OAAO,GAAG,GAAG,GAAG,MAAM,GAAG,MAAM,CAAC;IACtC,KAAK,EAAE,iBAAiB,CAAC;CAC1B;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,GAAG,GAAG,MAAM,GAAG,MAAM,GAAG,aAAa,CAE7E;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,GAAG,GAAG,MAAM,GAAG,MAAM,GAAG,aAAa,CAE7E;AAED;;GAEG;AACH,qBAAa,QAAS,SAAQ,SAAS;IACrC,YAAY,IAAI,GAAE,MAAmB,EAAE,KAAK,GAAE,iBAA4B,EAEzE;IAED;;OAEG;IACH,OAAO,CAAC,OAAO,GAAE;QACf,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,QAAQ,CAAC,EAAE,OAAO,CAAC;QACnB,EAAE,CAAC,EAAE,MAAM,CAAC;QACZ,EAAE,CAAC,EAAE,MAAM,CAAC;KACR,GAAG,GAAG,CAOX;IAED;;;OAGG;IACH,IAAI,cAAc,CAAC,IAAI,EAAE,aAAa,EAErC;IAED,IAAI,eAAe,IAAI,MAAM,GAAG,IAAI,CAEnC;IAED;;OAEG;IACH,UAAU,CAAC,UAAU,EAAE,UAAU,GAAG,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAErE;CACF;AAED,OAAO,EAAE,IAAI,EAAE,CAAC"}

package/dist/types/modeler/pulp-compat.d.ts

@@ -1,67 +0,0 @@
-import { Model } from "./model.js";
-import { Var } from "./variable.js";
-import { LinExpr, lpSum } from "./expression.js";
-import { QuadExpr } from "./quad-expr.js";
-import { Constraint } from "./constraint.js";
-import type { VarType, OptimizationSense, SolverStatus, SolveOptions } from "./types.js";
-import { type Solver, HiGHS, MockSolver, getSolver, listAvailableSolvers } from "./solvers/index.js";
-export declare const LpMinimize: OptimizationSense;
-export declare const LpMaximize: OptimizationSense;
-export declare const LpContinuous: VarType;
-export declare const LpInteger: VarType;
-export declare const LpBinary: VarType;
-export declare const LpStatus: Record<SolverStatus, string>;
-/**
- * PuLP-compatible LpVariable
- */
-export declare class LpVariable extends Var {
-    constructor(name: string, lowBound?: number, upBound?: number, cat?: VarType);
-    /**
-     * PuLP-style LpVariable.dicts helper:
-     * LpVariable.dicts("x", [0, 1, 2], 0, 1, LpBinary)
-     */
-    static dicts<K extends string | number>(name: string, indices: K[], lowBound?: number, upBound?: number, cat?: VarType): Record<K, LpVariable>;
-}
-/**
- * PuLP value() helper to extract value of variable or expression
- */
-export declare function value(item: Var | LinExpr | number | null | undefined): number | null;
-/**
- * PuLP-compatible LpProblem class
- */
-export declare class LpProblem {
-    model: Model;
-    constructor(name?: string, sense?: OptimizationSense);
-    get name(): string;
-    get sense(): OptimizationSense;
-    set sense(val: OptimizationSense);
-    get objective(): LinExpr | QuadExpr;
-    get variables(): Var[];
-    get constraints(): Constraint[];
-    get status(): SolverStatus;
-    get objectiveValue(): number | null;
-    /**
-     * Register a variable to the problem
-     */
-    addVariable(v: Var): Var;
-    /**
-     * Set objective function
-     */
-    setObjective(expr: LinExpr | Var | number | string): void;
-    /**
-     * Add a constraint
-     */
-    addConstraint(constraint: Constraint | string, name?: string): Constraint;
-    /**
-     * Convenient method to add either an objective or constraint
-     */
-    add(item: Constraint | LinExpr | Var | string, name?: string): void;
-    /**
-     * Solve the problem using specified solver (e.g. prob.solve(new HiGHS()), prob.solve(new GLPK()))
-     * or default solver
-     */
-    solve(solverOrOptions?: Solver | string | SolveOptions, options?: SolveOptions): Promise<SolverStatus>;
-    toLpString(): string;
-}
-export { lpSum, HiGHS, MockSolver, getSolver, listAvailableSolvers, };
-//# sourceMappingURL=pulp-compat.d.ts.map