@ohtaman/washi 0.5.0 → 0.6.0

package/dist/browser/highs-worker.js

@@ -1,4 +1,4 @@
-import { a as e } from "./loader-CtaDHef_.js";
+import { a as e } from "./loader-DewlSho8.js";
 //#region src/modeler/solvers/highs/worker.ts
 self.onmessage = async (t) => {
 	let { type: n, id: r, lpString: i, options: a, reportProgress: o } = t.data;

package/dist/browser/highs.wasm.LICENSE

@@ -1,7 +1,6 @@
 MIT License
 
-Copyright (c) 2023 highs-js
-Copyright (c) 2026 HiGHS
+Copyright (c) 2026 ERGO-Code / HiGHS developers
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal

package/dist/browser/loader-DewlSho8.js

@@ -0,0 +1,643 @@
+//#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/driver.ts
+function r(e, t, n) {
+	if (n <= 0 || !t) return /* @__PURE__ */ new Float64Array();
+	let r = e.wasmMemory ? e.wasmMemory.buffer : e.HEAPF64 ? e.HEAPF64.buffer : e.HEAP8?.buffer;
+	if (r) return new Float64Array(r, t, n).slice();
+	let i = new Float64Array(n);
+	for (let r = 0; r < n; r++) i[r] = e.getValue(t + r * 8, "double");
+	return i;
+}
+var i = class extends Error {
+	constructor(e) {
+		super(e), this.name = "HighsError";
+	}
+}, a = class extends i {
+	constructor(e) {
+		super(e), this.name = "HighsUnsupportedOptionError";
+	}
+}, o = {
+	0: "Not Set",
+	1: "Load error",
+	2: "Model error",
+	3: "Presolve error",
+	4: "Solve error",
+	5: "Postsolve error",
+	6: "Empty",
+	7: "Optimal",
+	8: "Infeasible",
+	9: "Primal infeasible or unbounded",
+	10: "Unbounded",
+	11: "Bound on objective reached",
+	12: "Target for objective reached",
+	13: "Time limit reached",
+	14: "Iteration limit reached",
+	15: "Unknown",
+	16: "Solution limit reached",
+	17: "Interrupted",
+	18: "Memory limit reached"
+}, s = {
+	callbackType: {
+		logging: 0,
+		simplexInterrupt: 1,
+		ipmInterrupt: 2,
+		mipSolution: 3,
+		mipImprovingSolution: 4,
+		mipLogging: 5,
+		mipInterrupt: 6,
+		mipGetCutPool: 7,
+		mipDefineLazyConstraints: 8,
+		mipUserSolution: 9
+	},
+	solutionStatus: {
+		none: 0,
+		infeasible: 1,
+		feasible: 2
+	},
+	modelStatus: {
+		notSet: 0,
+		loadError: 1,
+		modelError: 2,
+		presolveError: 3,
+		solveError: 4,
+		postsolveError: 5,
+		modelEmpty: 6,
+		optimal: 7,
+		infeasible: 8,
+		unboundedOrInfeasible: 9,
+		unbounded: 10,
+		objectiveBound: 11,
+		objectiveTarget: 12,
+		timeLimit: 13,
+		iterationLimit: 14,
+		unknown: 15,
+		solutionLimit: 16,
+		interrupt: 17
+	}
+};
+function c(e) {
+	return {
+		create: e.cwrap("Highs_create", "number", []),
+		destroy: e.cwrap("Highs_destroy", "void", ["number"]),
+		clearModel: e.cwrap("Highs_clearModel", "number", ["number"]),
+		version: e.cwrap("Highs_version", "string", []),
+		readModel: e.cwrap("Highs_readModel", "number", ["number", "string"]),
+		run: e.cwrap("Highs_run", "number", ["number"]),
+		getNumCol: e.cwrap("Highs_getNumCol", "number", ["number"]),
+		getNumRow: e.cwrap("Highs_getNumRow", "number", ["number"]),
+		getNumNz: e.cwrap("Highs_getNumNz", "number", ["number"]),
+		getObjectiveValue: e.cwrap("Highs_getObjectiveValue", "number", ["number"]),
+		getModelStatus: e.cwrap("Highs_getModelStatus", "number", ["number"]),
+		getSolution: e.cwrap("Highs_getSolution", "number", [
+			"number",
+			"number",
+			"number",
+			"number",
+			"number"
+		]),
+		getColName: e.cwrap("Highs_getColName", "number", [
+			"number",
+			"number",
+			"number"
+		]),
+		getRowName: e.cwrap("Highs_getRowName", "number", [
+			"number",
+			"number",
+			"number"
+		]),
+		getColIntegrality: e.cwrap("Highs_getColIntegrality", "number", [
+			"number",
+			"number",
+			"number"
+		]),
+		changeObjectiveOffset: e.cwrap("Highs_changeObjectiveOffset", "number", ["number", "number"]),
+		getObjectiveOffset: e.cwrap("Highs_getObjectiveOffset", "number", ["number", "number"]),
+		setBoolOptionValue: e.cwrap("Highs_setBoolOptionValue", "number", [
+			"number",
+			"string",
+			"number"
+		]),
+		setIntOptionValue: e.cwrap("Highs_setIntOptionValue", "number", [
+			"number",
+			"string",
+			"number"
+		]),
+		setDoubleOptionValue: e.cwrap("Highs_setDoubleOptionValue", "number", [
+			"number",
+			"string",
+			"number"
+		]),
+		setStringOptionValue: e.cwrap("Highs_setStringOptionValue", "number", [
+			"number",
+			"string",
+			"string"
+		]),
+		setSolution: e.cwrap("Highs_setSolution", "number", [
+			"number",
+			"number",
+			"number",
+			"number",
+			"number"
+		]),
+		setSparseSolution: e.cwrap("Highs_setSparseSolution", "number", [
+			"number",
+			"number",
+			"number",
+			"number"
+		]),
+		getIntInfoValue: e.cwrap("Highs_getIntInfoValue", "number", [
+			"number",
+			"string",
+			"number"
+		]),
+		getDoubleInfoValue: e.cwrap("Highs_getDoubleInfoValue", "number", [
+			"number",
+			"string",
+			"number"
+		]),
+		getInt64InfoValue: e.cwrap("Highs_getInt64InfoValue", "number", [
+			"number",
+			"string",
+			"number"
+		]),
+		setCallback: e.cwrap("Highs_setCallback", "number", [
+			"number",
+			"number",
+			"number"
+		]),
+		startCallback: e.cwrap("Highs_startCallback", "number", ["number", "number"]),
+		stopCallback: e.cwrap("Highs_stopCallback", "number", ["number", "number"])
+	};
+}
+var l = 0, u = class {
+	highs;
+	module;
+	bindings;
+	stringBuf;
+	isDestroyed = !1;
+	constructor(e, t, n) {
+		this.module = e, this.bindings = t, this.highs = n ?? t.create(), this.stringBuf = e._malloc(512);
+	}
+	changeObjectiveOffset(e) {
+		let t = this.bindings.changeObjectiveOffset(this.highs, e);
+		if (t !== 0) throw new i(`Highs_changeObjectiveOffset failed with status ${t}`);
+	}
+	getObjectiveOffset() {
+		let e = this.module._malloc(8);
+		try {
+			return this.bindings.getObjectiveOffset(this.highs, e), this.module.getValue(e, "double");
+		} finally {
+			this.module._free(e);
+		}
+	}
+	options = { set: (e, t) => {
+		let n = -1;
+		if (typeof t == "boolean" ? n = this.bindings.setBoolOptionValue(this.highs, e, +!!t) : typeof t == "number" ? Number.isInteger(t) ? (n = this.bindings.setIntOptionValue(this.highs, e, t), n !== 0 && (n = this.bindings.setDoubleOptionValue(this.highs, e, t))) : n = this.bindings.setDoubleOptionValue(this.highs, e, t) : typeof t == "string" && (n = this.bindings.setStringOptionValue(this.highs, e, t)), n !== 0) throw new a(`Option "${e}" with value ${JSON.stringify(t)} is not supported or invalid in HiGHS`);
+	} };
+	getDimensions() {
+		return {
+			numCols: this.bindings.getNumCol(this.highs),
+			numRows: this.bindings.getNumRow(this.highs)
+		};
+	}
+	getColIntegrality(e) {
+		let t = this.module._malloc(4);
+		try {
+			return this.bindings.getColIntegrality(this.highs, e, t), this.module.getValue(t, "i32");
+		} finally {
+			this.module._free(t);
+		}
+	}
+	getColName(e) {
+		return this.bindings.getColName(this.highs, e, this.stringBuf), this.module.UTF8ToString(this.stringBuf);
+	}
+	getRowName(e) {
+		return this.bindings.getRowName(this.highs, e, this.stringBuf), this.module.UTF8ToString(this.stringBuf);
+	}
+	setSolution(e) {
+		if (e.colValue && Array.isArray(e.colValue)) {
+			let t = e.colValue.length, n = this.module._malloc(t * 8);
+			try {
+				for (let r = 0; r < t; r++) this.module.setValue(n + r * 8, e.colValue[r], "double");
+				let r = this.bindings.setSolution(this.highs, n, 0, 0, 0);
+				if (r !== 0) throw new i(`Highs_setSolution failed with status ${r}`);
+			} finally {
+				this.module._free(n);
+			}
+			return;
+		}
+		if (e.indices && e.values && e.indices.length === e.values.length) {
+			let t = e.indices.length, n = this.module._malloc(t * 4), r = this.module._malloc(t * 8);
+			try {
+				for (let i = 0; i < t; i++) this.module.setValue(n + i * 4, e.indices[i], "i32"), this.module.setValue(r + i * 8, e.values[i], "double");
+				let a = this.bindings.setSparseSolution(this.highs, t, n, r);
+				if (a !== 0) throw new i(`Highs_setSparseSolution failed with status ${a}`);
+			} finally {
+				this.module._free(n), this.module._free(r);
+			}
+			return;
+		}
+		throw new i("Invalid argument to setSolution (expected { colValue } or { indices, values })");
+	}
+	run(e) {
+		let t = 0, n = [];
+		if (e && typeof this.module.addFunction == "function") {
+			t = this.module.addFunction((t, n, i, a) => {
+				let o = e[t];
+				if (!o) return;
+				let s = {};
+				if (i) {
+					let e = this.module.getValue(i + 8, "double"), t = this.module.getValue(i + 16, "i32"), n = this.module.getValue(i + 20, "i32"), a = this.module.getValue(i + 24, "i32"), o = this.module.getValue(i + 32, "double"), c = Number(this.module.getValue(i + 40, "i32")), l = Number(this.module.getValue(i + 48, "i32")), u = this.module.getValue(i + 56, "double"), d = this.module.getValue(i + 64, "double"), f = this.module.getValue(i + 72, "double"), p = this.module.getValue(i + 80, "i32"), m = this.module.getValue(i + 84, "i32"), h;
+					p && m > 0 && (h = r(this.module, p, m)), s = {
+						running_time: e,
+						simplex_iteration_count: t,
+						ipm_iteration_count: n,
+						pdlp_iteration_count: a,
+						objective_function_value: o,
+						mip_node_count: c,
+						mip_total_lp_iterations: l,
+						mip_primal_bound: u,
+						mip_dual_bound: d,
+						mip_gap: f,
+						...h ? { mip_solution: h } : {}
+					};
+				}
+				let c = n ? this.module.UTF8ToString(n) : "";
+				o({
+					data: s,
+					message: c,
+					interrupt: () => {
+						a && this.module.setValue(a, 1, "i32");
+					}
+				});
+			}, "vipppp"), this.bindings.setCallback(this.highs, t, 0);
+			for (let t of Object.keys(e)) {
+				let e = Number(t);
+				this.bindings.startCallback(this.highs, e), n.push(e);
+			}
+		}
+		try {
+			return this.bindings.run(this.highs);
+		} finally {
+			if (t) {
+				for (let e of n) try {
+					this.bindings.stopCallback(this.highs, e);
+				} catch {}
+				try {
+					this.module.removeFunction(t);
+				} catch {}
+			}
+		}
+	}
+	getModelStatus() {
+		return this.bindings.getModelStatus(this.highs);
+	}
+	info = { get: (e) => {
+		let t = this.module._malloc(8);
+		try {
+			if (this.bindings.getDoubleInfoValue(this.highs, e, t) === 0) return this.module.getValue(t, "double");
+		} finally {
+			this.module._free(t);
+		}
+		let n = this.module._malloc(4);
+		try {
+			if (this.bindings.getIntInfoValue(this.highs, e, n) === 0) return this.module.getValue(n, "i32");
+		} finally {
+			this.module._free(n);
+		}
+		throw new i(`Info item "${e}" not available or unknown in HiGHS`);
+	} };
+	getSolution() {
+		let e = this.getDimensions(), t = e.numCols > 0 ? this.module._malloc(e.numCols * 8) : 0, n = e.numCols > 0 ? this.module._malloc(e.numCols * 8) : 0, i = e.numRows > 0 ? this.module._malloc(e.numRows * 8) : 0, a = e.numRows > 0 ? this.module._malloc(e.numRows * 8) : 0;
+		try {
+			return this.bindings.getSolution(this.highs, t, n, i, a), {
+				colValue: r(this.module, t, e.numCols),
+				colDual: r(this.module, n, e.numCols),
+				rowValue: r(this.module, i, e.numRows),
+				rowDual: r(this.module, a, e.numRows)
+			};
+		} finally {
+			t && this.module._free(t), n && this.module._free(n), i && this.module._free(i), a && this.module._free(a);
+		}
+	}
+	getObjectiveValue() {
+		return this.bindings.getObjectiveValue(this.highs);
+	}
+	destroy() {
+		if (!this.isDestroyed) {
+			this.isDestroyed = !0;
+			try {
+				this.module._free(this.stringBuf);
+			} catch {}
+			try {
+				this.bindings.destroy(this.highs);
+			} catch {}
+		}
+	}
+	[Symbol.dispose]() {
+		this.destroy();
+	}
+}, d = class {
+	module;
+	bindings;
+	constants = s;
+	errors = {
+		HighsError: i,
+		HighsUnsupportedOptionError: a
+	};
+	constructor(e) {
+		this.module = e, this.bindings = c(e);
+	}
+	withModel(e, t) {
+		let n = this.bindings.create(), r = new u(this.module, this.bindings, n), a = `/model_${++l}.${e.format}`;
+		if (!this.module.FS) throw new i("Emscripten FS is not initialized on this HiGHS module instance");
+		let o = this.module.FS;
+		try {
+			o.writeFile(a, e.data);
+			let s = this.bindings.readModel(n, a);
+			if (s !== 0) throw new i(`Failed to load ${e.format.toUpperCase()} model into HiGHS (status ${s})`);
+			return t(r);
+		} finally {
+			try {
+				o.unlink(a);
+			} catch {}
+			r.destroy();
+		}
+	}
+	solve(e, t = {}) {
+		return this.withModel({
+			format: "lp",
+			data: e
+		}, (e) => {
+			for (let [n, r] of Object.entries(t)) try {
+				e.options.set(n, r);
+			} catch {}
+			e.run();
+			let n = e.getModelStatus(), r = e.getDimensions(), i = e.getSolution(), a = {};
+			for (let t = 0; t < r.numCols; t++) {
+				let n = e.getColName(t);
+				a[n] = {
+					Index: t,
+					Name: n,
+					Primal: i.colValue[t],
+					Dual: i.colDual[t]
+				};
+			}
+			return {
+				Status: o[n] ?? "Unknown",
+				StatusCode: n,
+				ObjectiveValue: e.getObjectiveValue(),
+				Columns: a
+			};
+		});
+	}
+}, f = null, p = null, m = null;
+function h(e) {
+	m = e, f = null, p = null;
+}
+function g() {
+	return m;
+}
+async function _(e) {
+	return e || m || n();
+}
+async function v(e = {}) {
+	let t = await _(e.wasmUrl), n = t ?? "node";
+	if (f && p === n) return f;
+	p = n;
+	let r = (async () => {
+		let e = (await import("./browser-runtime-TLCY0hkc.js")).default;
+		return await e({ locateFile: (e) => e.endsWith(".wasm") ? t : e });
+	})().catch((e) => {
+		f === r && (f = null, p = 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 f = r, r;
+}
+async function y(e, t = {}) {
+	if (t.signal?.aborted) return {
+		result: {
+			Status: "Interrupted",
+			StatusCode: 17,
+			HasPrimalSolution: !1,
+			ObjectiveValue: NaN,
+			Columns: {},
+			Rows: []
+		},
+		runTime: 0
+	};
+	let n = await v(t);
+	if (t.signal?.aborted) return {
+		result: {
+			Status: "Interrupted",
+			StatusCode: 17,
+			HasPrimalSolution: !1,
+			ObjectiveValue: NaN,
+			Columns: {},
+			Rows: []
+		},
+		runTime: 0
+	};
+	let r = performance.now(), i = { output_flag: t.outputFlag ?? !1 };
+	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 ? t.mipGap !== void 0 && (i.mip_rel_gap = t.mipGap) : i.mip_rel_gap = t.relGap, t.absGap !== void 0 && (i.mip_abs_gap = t.absGap);
+	for (let e of [
+		"mip_max_nodes",
+		"mip_max_improving_sols",
+		"mip_max_leaves",
+		"simplex_iteration_limit",
+		"ipm_iteration_limit"
+	]) t[e] !== void 0 && (i[e] = t[e]);
+	let a = typeof t.objectiveOffset == "number" && Number.isFinite(t.objectiveOffset) ? t.objectiveOffset : 0, s = t.initialValues, c = !1;
+	if (s) {
+		for (let [e, t] of Object.entries(s)) if (t !== void 0) {
+			if (typeof t != "number" || !Number.isFinite(t)) throw Error(`Invalid initial value for column "${e}": ${String(t)} (must be a finite number).`);
+			c = !0;
+		}
+	}
+	if (typeof n.withModel == "function") return {
+		result: n.withModel({
+			format: "lp",
+			data: e
+		}, (e) => {
+			if (a !== 0 && typeof e.changeObjectiveOffset == "function") {
+				let t = typeof e.getObjectiveOffset == "function" ? e.getObjectiveOffset() : 0;
+				e.changeObjectiveOffset(t + a);
+			}
+			for (let [t, r] of Object.entries(i)) try {
+				e.options.set(t, r);
+			} catch (e) {
+				if (e?.name !== "HighsUnsupportedOptionError" && !(n.errors?.HighsUnsupportedOptionError && e instanceof n.errors.HighsUnsupportedOptionError)) throw e;
+			}
+			let l = e.getDimensions(), u = [], d = !1;
+			for (let t = 0; t < l.numCols; t++) {
+				let n = e.getColIntegrality(t);
+				n !== 0 && (d = !0), u.push({
+					name: e.getColName(t),
+					type: n === 1 ? "Integer" : "Continuous"
+				});
+			}
+			if (c && s) {
+				if (typeof e.setSolution != "function") throw Error("HiGHS runtime does not support setting primal initial values (setSolution is unavailable).");
+				let t = /* @__PURE__ */ new Map();
+				for (let e = 0; e < l.numCols; e++) t.set(u[e].name, e);
+				for (let [e, n] of Object.entries(s)) if (n !== void 0 && !t.has(e)) throw Error(`Unknown column "${e}" in initialValues (column does not exist in the HiGHS LP model).`);
+				let n = [], r = [];
+				for (let e = 0; e < l.numCols; e++) {
+					let t = u[e].name;
+					if (Object.prototype.hasOwnProperty.call(s, t)) {
+						let i = s[t];
+						i !== void 0 && (n.push(e), r.push(i));
+					}
+				}
+				n.length > 0 && (n.length === l.numCols ? e.setSolution({ colValue: r }) : e.setSolution({
+					indices: n,
+					values: r
+				}));
+			}
+			let f = null, p = null, m = 0, h = (e) => {
+				let t = e?.data ?? {}, n = typeof t.running_time == "number" && Number.isFinite(t.running_time) ? t.running_time : (performance.now() - r) / 1e3, i = typeof t.mip_primal_bound == "number" && Number.isFinite(t.mip_primal_bound) ? t.mip_primal_bound : typeof t.objective_function_value == "number" && Number.isFinite(t.objective_function_value) ? t.objective_function_value : void 0, a = typeof t.mip_dual_bound == "number" && Number.isFinite(t.mip_dual_bound) ? t.mip_dual_bound : void 0, o = typeof t.mip_gap == "number" && Number.isFinite(t.mip_gap) ? t.mip_gap : void 0, s = i !== void 0 && a !== void 0 ? Math.abs(i - a) : void 0, c = typeof t.mip_node_count == "bigint" ? Number(t.mip_node_count) : typeof t.mip_node_count == "number" && Number.isFinite(t.mip_node_count) ? t.mip_node_count : void 0, l = typeof t.mip_total_lp_iterations == "bigint" ? Number(t.mip_total_lp_iterations) : typeof t.simplex_iteration_count == "number" && Number.isFinite(t.simplex_iteration_count) ? t.simplex_iteration_count : typeof t.ipm_iteration_count == "number" && Number.isFinite(t.ipm_iteration_count) ? t.ipm_iteration_count : void 0, u = typeof e?.message == "string" && e.message.trim().length > 0 ? e.message.trim() : void 0, d = {
+					elapsedTime: n,
+					elapsedSeconds: n,
+					...i === void 0 ? {} : { objectiveValue: i },
+					...a === void 0 ? {} : { objectiveBound: a },
+					...o === void 0 ? {} : {
+						relGap: o,
+						mipGap: o
+					},
+					...s === void 0 ? {} : { absGap: s },
+					...c === void 0 ? {} : { nodes: c },
+					...l === void 0 ? {} : { iterations: l },
+					...u === void 0 ? {} : { message: u }
+				};
+				return p = d, d;
+			}, g = (e) => {
+				let n = e?.data;
+				if (!n || !(n.mip_solution instanceof Float64Array)) return;
+				let r = n.mip_solution, i = {};
+				for (let e = 0; e < u.length && e < r.length; e++) Object.defineProperty(i, u[e].name, {
+					value: {
+						Index: e,
+						Type: u[e].type,
+						Name: u[e].name,
+						Primal: r[e]
+					},
+					enumerable: !0,
+					writable: !0,
+					configurable: !0
+				});
+				let a = typeof n.objective_function_value == "number" && Number.isFinite(n.objective_function_value) ? n.objective_function_value : typeof n.mip_primal_bound == "number" && Number.isFinite(n.mip_primal_bound) ? n.mip_primal_bound : NaN;
+				Number.isFinite(a) && (f = {
+					objectiveValue: a,
+					...typeof n.mip_dual_bound == "number" && Number.isFinite(n.mip_dual_bound) ? { mipDualBound: n.mip_dual_bound } : {},
+					...typeof n.mip_gap == "number" && Number.isFinite(n.mip_gap) ? { mipGap: n.mip_gap } : {},
+					columns: i
+				}, t.onIncumbent?.(f));
+			}, _ = !1;
+			if (t.signal || t.onProgress || t.onIncumbent) {
+				let r = n.constants?.callbackType ?? {
+					logging: 0,
+					simplexInterrupt: 1,
+					ipmInterrupt: 2,
+					mipSolution: 3,
+					mipImprovingSolution: 4,
+					mipLogging: 5,
+					mipInterrupt: 6
+				}, i = (e) => {
+					if (t.signal?.aborted) {
+						_ = !0, e.interrupt();
+						return;
+					}
+					t.onProgress && (m++, t.onProgress(h(e)), t.signal?.aborted && (_ = !0, e.interrupt()));
+				}, a = {
+					[r.simplexInterrupt]: i,
+					[r.ipmInterrupt]: i,
+					[r.mipInterrupt]: i,
+					[r.mipImprovingSolution]: (e) => {
+						g(e), t.onProgress && !t.signal?.aborted && (m++, t.onProgress(h(e)));
+					},
+					[r.mipLogging]: (e) => {
+						t.onProgress && !t.signal?.aborted && (m++, t.onProgress(h(e)));
+					}
+				};
+				e.run(a);
+			} else e.run();
+			let v = e.getModelStatus();
+			_ && (v = 17);
+			let y = o[v] ?? "Unknown", b = 0, x = 0;
+			try {
+				b = Number(e.info.get("primal_solution_status"));
+			} catch {}
+			try {
+				x = Number(e.info.get("dual_solution_status"));
+			} catch {}
+			let S = n.constants?.solutionStatus?.feasible ?? 2, C = b === S, w = x === S, T = C || w ? e.getSolution() : null, E = C, D = {};
+			if (!C && f !== null) E = !0, D = f.columns;
+			else for (let e = 0; e < l.numCols; e++) {
+				let t = u[e], n = {
+					Index: e,
+					Type: t.type,
+					Name: t.name
+				};
+				C && T && (n.Primal = T.colValue[e]), !d && w && T && (n.Dual = T.colDual[e]), Object.defineProperty(D, t.name, {
+					value: n,
+					enumerable: !0,
+					writable: !0,
+					configurable: !0
+				});
+			}
+			let O = [];
+			for (let t = 0; t < l.numRows; t++) {
+				let n = e.getRowName(t), r = {
+					Index: t,
+					Name: n
+				};
+				C && T && (r.Primal = T.rowValue[t]), !d && w && T && (r.Dual = T.rowDual[t]), O.push(r);
+			}
+			let k = C ? e.getObjectiveValue() : f === null ? NaN : f.objectiveValue, A, j;
+			if (d) {
+				try {
+					let t = Number(e.info.get("mip_dual_bound"));
+					Number.isFinite(t) && (A = t);
+				} catch {}
+				A === void 0 && p && p.objectiveBound !== void 0 && (A = p.objectiveBound);
+				try {
+					let t = Number(e.info.get("mip_gap"));
+					Number.isFinite(t) && (j = t);
+				} catch {}
+				j === void 0 && p && p.relGap !== void 0 && (j = p.relGap);
+			}
+			return {
+				Status: o[v] ?? y,
+				StatusCode: v,
+				PrimalSolutionStatus: b,
+				DualSolutionStatus: x,
+				HasPrimalSolution: E,
+				IsMip: d,
+				ObjectiveValue: k,
+				ObjectiveOffsetApplied: a !== 0,
+				MipDualBound: A,
+				MipGap: j,
+				Columns: D,
+				Rows: O
+			};
+		}),
+		runTime: (performance.now() - r) / 1e3
+	};
+	if (c) throw Error("HiGHS runtime does not support setting primal initial values (withModel/setSolution is unavailable).");
+	return {
+		result: n.solve(e, i),
+		runTime: (performance.now() - r) / 1e3
+	};
+}
+//#endregion
+export { y as a, h as i, g as n, d as o, _ as r, t as s, v as t };

package/dist/browser/solvers/glpk.js

@@ -1074,7 +1074,7 @@ var Re = class e {
 		let g = [], _ = [], v = [];
 		for (let t of e.variables) {
 			let e = u.get(t) || t.name;
-			t.type === "Binary" ? g.push(e) : t.type === "Integer" && _.push(e);
+			!s.relax && t.type === "Binary" ? g.push(e) : !s.relax && t.type === "Integer" && _.push(e);
 			let n = t.lb, r = t.ub, i;
 			i = n === -Infinity && r === Infinity ? c.GLP_FR : n !== -Infinity && r === Infinity ? c.GLP_LO : n === -Infinity && r !== Infinity ? c.GLP_UP : n === r ? c.GLP_FX : c.GLP_DB, v.push({
 				name: e,