@bubblyworld/scip-ts 0.0.1

package/dist/model/helpers.js

@@ -0,0 +1,10 @@
+import { LinExpr } from './expr.js';
+/** Returns the sum of the given variables, expressions, and constants. */
+export function sum(...items) {
+    let result = new LinExpr([], 0);
+    for (const item of items) {
+        result = result.plus(item);
+    }
+    return result;
+}
+//# sourceMappingURL=helpers.js.map

package/dist/model/helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../src/model/helpers.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEpC,0EAA0E;AAC1E,MAAM,UAAU,GAAG,CAAC,GAAG,KAAiC;IACtD,IAAI,MAAM,GAAG,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/model/index.d.ts

@@ -0,0 +1,8 @@
+export { Model } from './model.js';
+export { Var } from './var.js';
+export { LinExpr } from './expr.js';
+export { Constraint } from './constraint.js';
+export { Solution } from './solution.js';
+export { sum } from './helpers.js';
+export type { VarType, Sense, Term } from './types.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/model/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/model/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAC/B,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,GAAG,EAAE,MAAM,cAAc,CAAC;AACnC,YAAY,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC"}

package/dist/model/index.js

@@ -0,0 +1,7 @@
+export { Model } from './model.js';
+export { Var } from './var.js';
+export { LinExpr } from './expr.js';
+export { Constraint } from './constraint.js';
+export { Solution } from './solution.js';
+export { sum } from './helpers.js';
+//# sourceMappingURL=index.js.map

package/dist/model/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/model/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAC/B,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,GAAG,EAAE,MAAM,cAAc,CAAC"}

package/dist/model/lp-format.d.ts

@@ -0,0 +1,11 @@
+import type { Var } from './var.js';
+import type { LinExpr } from './expr.js';
+import type { Constraint } from './constraint.js';
+export interface LPFormatInput {
+    objective: LinExpr | null;
+    sense: 'minimize' | 'maximize';
+    constraints: Constraint[];
+    variables: Var[];
+}
+export declare function toLPFormat(input: LPFormatInput): string;
+//# sourceMappingURL=lp-format.d.ts.map

package/dist/model/lp-format.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lp-format.d.ts","sourceRoot":"","sources":["../../src/model/lp-format.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AACpC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAElD,MAAM,WAAW,aAAa;IAC5B,SAAS,EAAE,OAAO,GAAG,IAAI,CAAC;IAC1B,KAAK,EAAE,UAAU,GAAG,UAAU,CAAC;IAC/B,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,SAAS,EAAE,GAAG,EAAE,CAAC;CAClB;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,CAgEvD"}

package/dist/model/lp-format.js

@@ -0,0 +1,122 @@
+export function toLPFormat(input) {
+    const lines = [];
+    if (input.sense === 'maximize') {
+        lines.push('Maximize');
+    }
+    else {
+        lines.push('Minimize');
+    }
+    if (input.objective) {
+        lines.push(`  obj: ${formatExpr(input.objective)}`);
+    }
+    else {
+        lines.push('  obj: 0');
+    }
+    lines.push('Subject To');
+    let constraintIndex = 0;
+    for (const constraint of input.constraints) {
+        const name = constraint.name ?? `c${constraintIndex++}`;
+        const exprStr = formatExpr(constraint.expr);
+        const senseStr = constraint.sense === '=' ? '=' : constraint.sense;
+        const rhs = constraint.rhs - constraint.expr.constant;
+        lines.push(`  ${name}: ${exprStr} ${senseStr} ${formatNumber(rhs)}`);
+    }
+    const boundsLines = [];
+    const generalVars = [];
+    const binaryVars = [];
+    for (const v of input.variables) {
+        if (v.type === 'binary') {
+            binaryVars.push(v.name);
+        }
+        else {
+            if (v.type === 'integer') {
+                generalVars.push(v.name);
+            }
+            const hasNonDefaultBounds = v.lb !== 0 || v.ub !== Infinity;
+            if (hasNonDefaultBounds) {
+                if (v.ub === Infinity) {
+                    boundsLines.push(`  ${formatNumber(v.lb)} <= ${v.name}`);
+                }
+                else {
+                    boundsLines.push(`  ${formatNumber(v.lb)} <= ${v.name} <= ${formatNumber(v.ub)}`);
+                }
+            }
+        }
+    }
+    if (boundsLines.length > 0) {
+        lines.push('Bounds');
+        lines.push(...boundsLines);
+    }
+    if (generalVars.length > 0) {
+        lines.push('General');
+        lines.push(`  ${generalVars.join(' ')}`);
+    }
+    if (binaryVars.length > 0) {
+        lines.push('Binary');
+        lines.push(`  ${binaryVars.join(' ')}`);
+    }
+    lines.push('End');
+    return lines.join('\n') + '\n';
+}
+function formatExpr(expr) {
+    const consolidated = consolidateTerms(expr);
+    if (consolidated.length === 0) {
+        return '0';
+    }
+    const parts = [];
+    for (let i = 0; i < consolidated.length; i++) {
+        const { coeff, varName } = consolidated[i];
+        if (coeff === 0)
+            continue;
+        if (i === 0) {
+            if (coeff === 1) {
+                parts.push(varName);
+            }
+            else if (coeff === -1) {
+                parts.push(`- ${varName}`);
+            }
+            else if (coeff < 0) {
+                parts.push(`- ${formatNumber(-coeff)} ${varName}`);
+            }
+            else {
+                parts.push(`${formatNumber(coeff)} ${varName}`);
+            }
+        }
+        else {
+            if (coeff === 1) {
+                parts.push(`+ ${varName}`);
+            }
+            else if (coeff === -1) {
+                parts.push(`- ${varName}`);
+            }
+            else if (coeff < 0) {
+                parts.push(`- ${formatNumber(-coeff)} ${varName}`);
+            }
+            else {
+                parts.push(`+ ${formatNumber(coeff)} ${varName}`);
+            }
+        }
+    }
+    return parts.join(' ') || '0';
+}
+function consolidateTerms(expr) {
+    const coeffMap = new Map();
+    for (const term of expr.terms) {
+        const current = coeffMap.get(term.var.name) ?? 0;
+        coeffMap.set(term.var.name, current + term.coeff);
+    }
+    const result = [];
+    for (const [varName, coeff] of coeffMap) {
+        if (coeff !== 0) {
+            result.push({ coeff, varName });
+        }
+    }
+    return result;
+}
+function formatNumber(n) {
+    if (Number.isInteger(n)) {
+        return n.toString();
+    }
+    return n.toString();
+}
+//# sourceMappingURL=lp-format.js.map

package/dist/model/lp-format.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lp-format.js","sourceRoot":"","sources":["../../src/model/lp-format.ts"],"names":[],"mappings":"AAWA,MAAM,UAAU,UAAU,CAAC,KAAoB;IAC7C,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,IAAI,KAAK,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzB,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzB,CAAC;IAED,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,UAAU,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACtD,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACzB,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,IAAI,IAAI,eAAe,EAAE,EAAE,CAAC;QACxD,MAAM,OAAO,GAAG,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC;QACnE,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,KAAK,OAAO,IAAI,QAAQ,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACvE,CAAC;IAED,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAChC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxB,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACzB,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3B,CAAC;YACD,MAAM,mBAAmB,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC;YAC5D,IAAI,mBAAmB,EAAE,CAAC;gBACxB,IAAI,CAAC,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;oBACtB,WAAW,CAAC,IAAI,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC3D,CAAC;qBAAM,CAAC;oBACN,WAAW,CAAC,IAAI,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,OAAO,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBACpF,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;IAC7B,CAAC;IAED,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,KAAK,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC3C,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC1C,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AACjC,CAAC;AAED,SAAS,UAAU,CAAC,IAAa;IAC/B,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,GAAG,CAAC;IACb,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAI,KAAK,KAAK,CAAC;YAAE,SAAS;QAE1B,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACZ,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBAChB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtB,CAAC;iBAAM,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;gBACxB,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,EAAE,CAAC,CAAC;YAC7B,CAAC;iBAAM,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBACrB,KAAK,CAAC,IAAI,CAAC,KAAK,YAAY,CAAC,CAAC,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC,CAAC;YACrD,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;aAAM,CAAC;YACN,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBAChB,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,EAAE,CAAC,CAAC;YAC7B,CAAC;iBAAM,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;gBACxB,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,EAAE,CAAC,CAAC;YAC7B,CAAC;iBAAM,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBACrB,KAAK,CAAC,IAAI,CAAC,KAAK,YAAY,CAAC,CAAC,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC,CAAC;YACrD,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,KAAK,YAAY,CAAC,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC,CAAC;YACpD,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC;AAChC,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAa;IACrC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC;IACD,MAAM,MAAM,GAAyC,EAAE,CAAC;IACxD,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,QAAQ,EAAE,CAAC;QACxC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChB,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,YAAY,CAAC,CAAS;IAC7B,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QACxB,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC;IACtB,CAAC;IACD,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC;AACtB,CAAC"}

package/dist/model/model.d.ts

@@ -0,0 +1,30 @@
+import type { SCIPOptions } from '../types.js';
+import { Var } from './var.js';
+import { LinExpr } from './expr.js';
+import { Constraint } from './constraint.js';
+import { Solution } from './solution.js';
+/** High-level model builder for optimization problems. */
+export declare class Model {
+    private variables;
+    private constraints;
+    private objective;
+    private sense;
+    private varCounter;
+    /** Creates a continuous variable with the given bounds and optional name. */
+    numVar(lb?: number, ub?: number, name?: string): Var;
+    /** Creates an integer variable with the given bounds and optional name. */
+    intVar(lb?: number, ub?: number, name?: string): Var;
+    /** Creates a binary (0-1) variable with an optional name. */
+    boolVar(name?: string): Var;
+    /** Adds a constraint to the model with an optional name. */
+    addConstraint(constraint: Constraint, name?: string): void;
+    /** Sets the objective to minimize the given expression. */
+    minimize(expr: LinExpr | Var): void;
+    /** Sets the objective to maximize the given expression. */
+    maximize(expr: LinExpr | Var): void;
+    /** Converts the model to CPLEX LP format. */
+    toLPFormat(): string;
+    /** Solves the model and returns the solution. */
+    solve(options?: SCIPOptions): Promise<Solution>;
+}
+//# sourceMappingURL=model.d.ts.map

package/dist/model/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../src/model/model.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAC/B,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAGzC,0DAA0D;AAC1D,qBAAa,KAAK;IAChB,OAAO,CAAC,SAAS,CAAa;IAC9B,OAAO,CAAC,WAAW,CAAoB;IACvC,OAAO,CAAC,SAAS,CAAwB;IACzC,OAAO,CAAC,KAAK,CAAuC;IACpD,OAAO,CAAC,UAAU,CAAK;IAEvB,6EAA6E;IAC7E,MAAM,CAAC,EAAE,SAAI,EAAE,EAAE,SAAW,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,GAAG;IAOjD,2EAA2E;IAC3E,MAAM,CAAC,EAAE,SAAI,EAAE,EAAE,SAAW,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,GAAG;IAOjD,6DAA6D;IAC7D,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,GAAG;IAO3B,4DAA4D;IAC5D,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI;IAO1D,2DAA2D;IAC3D,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,GAAG,GAAG,IAAI;IAKnC,2DAA2D;IAC3D,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,GAAG,GAAG,IAAI;IAKnC,6CAA6C;IAC7C,UAAU,IAAI,MAAM;IASpB,iDAAiD;IAC3C,KAAK,CAAC,OAAO,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,QAAQ,CAAC;CAWtD"}

package/dist/model/model.js

@@ -0,0 +1,75 @@
+import { SCIP as BaseSCIP } from '../solver.js';
+import { Var } from './var.js';
+import { Solution } from './solution.js';
+import { toLPFormat } from './lp-format.js';
+/** High-level model builder for optimization problems. */
+export class Model {
+    constructor() {
+        this.variables = [];
+        this.constraints = [];
+        this.objective = null;
+        this.sense = 'minimize';
+        this.varCounter = 0;
+    }
+    /** Creates a continuous variable with the given bounds and optional name. */
+    numVar(lb = 0, ub = Infinity, name) {
+        const varName = name ?? `x${this.varCounter++}`;
+        const v = new Var(varName, 'continuous', lb, ub);
+        this.variables.push(v);
+        return v;
+    }
+    /** Creates an integer variable with the given bounds and optional name. */
+    intVar(lb = 0, ub = Infinity, name) {
+        const varName = name ?? `x${this.varCounter++}`;
+        const v = new Var(varName, 'integer', lb, ub);
+        this.variables.push(v);
+        return v;
+    }
+    /** Creates a binary (0-1) variable with an optional name. */
+    boolVar(name) {
+        const varName = name ?? `x${this.varCounter++}`;
+        const v = new Var(varName, 'binary', 0, 1);
+        this.variables.push(v);
+        return v;
+    }
+    /** Adds a constraint to the model with an optional name. */
+    addConstraint(constraint, name) {
+        if (name !== undefined) {
+            constraint.name = name;
+        }
+        this.constraints.push(constraint);
+    }
+    /** Sets the objective to minimize the given expression. */
+    minimize(expr) {
+        this.objective = expr instanceof Var ? expr.times(1) : expr;
+        this.sense = 'minimize';
+    }
+    /** Sets the objective to maximize the given expression. */
+    maximize(expr) {
+        this.objective = expr instanceof Var ? expr.times(1) : expr;
+        this.sense = 'maximize';
+    }
+    /** Converts the model to CPLEX LP format. */
+    toLPFormat() {
+        return toLPFormat({
+            objective: this.objective,
+            sense: this.sense,
+            constraints: this.constraints,
+            variables: this.variables,
+        });
+    }
+    /** Solves the model and returns the solution. */
+    async solve(options) {
+        const lpString = this.toLPFormat();
+        const scip = await BaseSCIP.create(options);
+        try {
+            await scip.readProblemFromString(lpString, 'lp');
+            const result = await scip.solve();
+            return new Solution(result);
+        }
+        finally {
+            scip.free();
+        }
+    }
+}
+//# sourceMappingURL=model.js.map

package/dist/model/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../src/model/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,IAAI,QAAQ,EAAE,MAAM,cAAc,CAAC;AAEhD,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAG/B,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAE5C,0DAA0D;AAC1D,MAAM,OAAO,KAAK;IAAlB;QACU,cAAS,GAAU,EAAE,CAAC;QACtB,gBAAW,GAAiB,EAAE,CAAC;QAC/B,cAAS,GAAmB,IAAI,CAAC;QACjC,UAAK,GAA4B,UAAU,CAAC;QAC5C,eAAU,GAAG,CAAC,CAAC;IAoEzB,CAAC;IAlEC,6EAA6E;IAC7E,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,QAAQ,EAAE,IAAa;QACzC,MAAM,OAAO,GAAG,IAAI,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC;QAChD,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,YAAY,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QACjD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,OAAO,CAAC,CAAC;IACX,CAAC;IAED,2EAA2E;IAC3E,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,QAAQ,EAAE,IAAa;QACzC,MAAM,OAAO,GAAG,IAAI,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC;QAChD,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QAC9C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,OAAO,CAAC,CAAC;IACX,CAAC;IAED,6DAA6D;IAC7D,OAAO,CAAC,IAAa;QACnB,MAAM,OAAO,GAAG,IAAI,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC;QAChD,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,OAAO,CAAC,CAAC;IACX,CAAC;IAED,4DAA4D;IAC5D,aAAa,CAAC,UAAsB,EAAE,IAAa;QACjD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,UAAU,CAAC,IAAI,GAAG,IAAI,CAAC;QACzB,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpC,CAAC;IAED,2DAA2D;IAC3D,QAAQ,CAAC,IAAmB;QAC1B,IAAI,CAAC,SAAS,GAAG,IAAI,YAAY,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5D,IAAI,CAAC,KAAK,GAAG,UAAU,CAAC;IAC1B,CAAC;IAED,2DAA2D;IAC3D,QAAQ,CAAC,IAAmB;QAC1B,IAAI,CAAC,SAAS,GAAG,IAAI,YAAY,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5D,IAAI,CAAC,KAAK,GAAG,UAAU,CAAC;IAC1B,CAAC;IAED,6CAA6C;IAC7C,UAAU;QACR,OAAO,UAAU,CAAC;YAChB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,SAAS,EAAE,IAAI,CAAC,SAAS;SAC1B,CAAC,CAAC;IACL,CAAC;IAED,iDAAiD;IACjD,KAAK,CAAC,KAAK,CAAC,OAAqB;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,qBAAqB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;YACjD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;YAClC,OAAO,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC9B,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,CAAC;IACH,CAAC;CACF"}

package/dist/model/solution.d.ts

@@ -0,0 +1,13 @@
+import type { SolveStatus, SolveResult } from '../types.js';
+import type { Var } from './var.js';
+/** The result of solving a Model. */
+export declare class Solution {
+    readonly status: SolveStatus;
+    readonly objective?: number;
+    private readonly values;
+    /** @internal Use Model.solve() to obtain a Solution. */
+    constructor(result: SolveResult);
+    /** Returns the value of a variable in the solution, or undefined if not found. */
+    getValue(variable: Var): number | undefined;
+}
+//# sourceMappingURL=solution.d.ts.map

package/dist/model/solution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"solution.d.ts","sourceRoot":"","sources":["../../src/model/solution.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAEpC,qCAAqC;AACrC,qBAAa,QAAQ;IACnB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAsB;IAE7C,wDAAwD;gBAC5C,MAAM,EAAE,WAAW;IAM/B,kFAAkF;IAClF,QAAQ,CAAC,QAAQ,EAAE,GAAG,GAAG,MAAM,GAAG,SAAS;CAG5C"}

package/dist/model/solution.js

@@ -0,0 +1,14 @@
+/** The result of solving a Model. */
+export class Solution {
+    /** @internal Use Model.solve() to obtain a Solution. */
+    constructor(result) {
+        this.status = result.status;
+        this.objective = result.objective;
+        this.values = result.solution ?? new Map();
+    }
+    /** Returns the value of a variable in the solution, or undefined if not found. */
+    getValue(variable) {
+        return this.values.get(variable.name);
+    }
+}
+//# sourceMappingURL=solution.js.map

package/dist/model/solution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"solution.js","sourceRoot":"","sources":["../../src/model/solution.ts"],"names":[],"mappings":"AAGA,qCAAqC;AACrC,MAAM,OAAO,QAAQ;IAKnB,wDAAwD;IACxD,YAAY,MAAmB;QAC7B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;QAC5B,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;QAClC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,QAAQ,IAAI,IAAI,GAAG,EAAE,CAAC;IAC7C,CAAC;IAED,kFAAkF;IAClF,QAAQ,CAAC,QAAa;QACpB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;CACF"}

package/dist/model/types.d.ts

@@ -0,0 +1,11 @@
+/** The type of a decision variable. */
+export type VarType = 'continuous' | 'integer' | 'binary';
+/** The sense of a constraint: <=, >=, or =. */
+export type Sense = '<=' | '>=' | '=';
+/** A term in a linear expression: coefficient * variable. */
+export interface Term {
+    coeff: number;
+    var: Var;
+}
+import type { Var } from './var.js';
+//# sourceMappingURL=types.d.ts.map

package/dist/model/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/model/types.ts"],"names":[],"mappings":"AAAA,uCAAuC;AACvC,MAAM,MAAM,OAAO,GAAG,YAAY,GAAG,SAAS,GAAG,QAAQ,CAAC;AAE1D,+CAA+C;AAC/C,MAAM,MAAM,KAAK,GAAG,IAAI,GAAG,IAAI,GAAG,GAAG,CAAC;AAEtC,6DAA6D;AAC7D,MAAM,WAAW,IAAI;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,GAAG,CAAC;CACV;AAED,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC"}

package/dist/model/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/model/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/model/types.ts"],"names":[],"mappings":""}

package/dist/model/var.d.ts

@@ -0,0 +1,28 @@
+import type { VarType } from './types.js';
+import { LinExpr } from './expr.js';
+import { Constraint } from './constraint.js';
+/** A decision variable in an optimization model. */
+export declare class Var {
+    readonly name: string;
+    readonly type: VarType;
+    readonly lb: number;
+    readonly ub: number;
+    /** @internal Use Model.numVar(), Model.intVar(), or Model.boolVar() instead. */
+    constructor(name: string, type: VarType, lb: number, ub: number);
+    private toExpr;
+    /** Returns this + other. */
+    plus(other: Var | LinExpr | number): LinExpr;
+    /** Returns this - other. */
+    minus(other: Var | LinExpr | number): LinExpr;
+    /** Returns coeff * this. */
+    times(coeff: number): LinExpr;
+    /** Returns -this. */
+    neg(): LinExpr;
+    /** Returns a constraint: this <= rhs. */
+    leq(rhs: number): Constraint;
+    /** Returns a constraint: this >= rhs. */
+    geq(rhs: number): Constraint;
+    /** Returns a constraint: this == rhs. */
+    eq(rhs: number): Constraint;
+}
+//# sourceMappingURL=var.d.ts.map

package/dist/model/var.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"var.d.ts","sourceRoot":"","sources":["../../src/model/var.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,oDAAoD;AACpD,qBAAa,GAAG;IACd,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAEpB,gFAAgF;gBACpE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM;IAO/D,OAAO,CAAC,MAAM;IAId,4BAA4B;IAC5B,IAAI,CAAC,KAAK,EAAE,GAAG,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO;IAI5C,4BAA4B;IAC5B,KAAK,CAAC,KAAK,EAAE,GAAG,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO;IAI7C,4BAA4B;IAC5B,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO;IAI7B,qBAAqB;IACrB,GAAG,IAAI,OAAO;IAId,yCAAyC;IACzC,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU;IAI5B,yCAAyC;IACzC,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU;IAI5B,yCAAyC;IACzC,EAAE,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU;CAG5B"}

package/dist/model/var.js

@@ -0,0 +1,43 @@
+import { LinExpr } from './expr.js';
+/** A decision variable in an optimization model. */
+export class Var {
+    /** @internal Use Model.numVar(), Model.intVar(), or Model.boolVar() instead. */
+    constructor(name, type, lb, ub) {
+        this.name = name;
+        this.type = type;
+        this.lb = lb;
+        this.ub = ub;
+    }
+    toExpr() {
+        return new LinExpr([{ coeff: 1, var: this }], 0);
+    }
+    /** Returns this + other. */
+    plus(other) {
+        return this.toExpr().plus(other);
+    }
+    /** Returns this - other. */
+    minus(other) {
+        return this.toExpr().minus(other);
+    }
+    /** Returns coeff * this. */
+    times(coeff) {
+        return new LinExpr([{ coeff, var: this }], 0);
+    }
+    /** Returns -this. */
+    neg() {
+        return this.times(-1);
+    }
+    /** Returns a constraint: this <= rhs. */
+    leq(rhs) {
+        return this.toExpr().leq(rhs);
+    }
+    /** Returns a constraint: this >= rhs. */
+    geq(rhs) {
+        return this.toExpr().geq(rhs);
+    }
+    /** Returns a constraint: this == rhs. */
+    eq(rhs) {
+        return this.toExpr().eq(rhs);
+    }
+}
+//# sourceMappingURL=var.js.map

package/dist/model/var.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"var.js","sourceRoot":"","sources":["../../src/model/var.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAGpC,oDAAoD;AACpD,MAAM,OAAO,GAAG;IAMd,gFAAgF;IAChF,YAAY,IAAY,EAAE,IAAa,EAAE,EAAU,EAAE,EAAU;QAC7D,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;IACf,CAAC;IAEO,MAAM;QACZ,OAAO,IAAI,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACnD,CAAC;IAED,4BAA4B;IAC5B,IAAI,CAAC,KAA6B;QAChC,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC;IAED,4BAA4B;IAC5B,KAAK,CAAC,KAA6B;QACjC,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC;IAED,4BAA4B;IAC5B,KAAK,CAAC,KAAa;QACjB,OAAO,IAAI,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,CAAC;IAED,qBAAqB;IACrB,GAAG;QACD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACxB,CAAC;IAED,yCAAyC;IACzC,GAAG,CAAC,GAAW;QACb,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC;IAED,yCAAyC;IACzC,GAAG,CAAC,GAAW;QACb,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC;IAED,yCAAyC;IACzC,EAAE,CAAC,GAAW;QACZ,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC;CACF"}

package/dist/module.d.ts

@@ -0,0 +1,4 @@
+import type { EmscriptenModule, SCIPOptions } from './types.js';
+/** Loads a fresh SCIP WebAssembly module with the given options. */
+export declare function loadSCIPModule(options?: SCIPOptions): Promise<EmscriptenModule>;
+//# sourceMappingURL=module.d.ts.map

package/dist/module.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module.d.ts","sourceRoot":"","sources":["../src/module.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAqB,WAAW,EAAE,MAAM,YAAY,CAAC;AAEnF,oEAAoE;AACpE,wBAAsB,cAAc,CAClC,OAAO,CAAC,EAAE,WAAW,GACpB,OAAO,CAAC,gBAAgB,CAAC,CAU3B"}

package/dist/module.js

@@ -0,0 +1,15 @@
+/** Loads a fresh SCIP WebAssembly module with the given options. */
+export async function loadSCIPModule(options) {
+    const createModule = await loadSCIPFactory();
+    const consoleConfig = options?.console ?? { log: null, error: null };
+    const moduleOptions = {
+        print: consoleConfig.log ?? (() => { }),
+        printErr: consoleConfig.error ?? (() => { }),
+    };
+    return createModule(moduleOptions);
+}
+async function loadSCIPFactory() {
+    const { default: SCIPModuleFactory } = await import(new URL('../build/scip.js', import.meta.url).href);
+    return SCIPModuleFactory;
+}
+//# sourceMappingURL=module.js.map

package/dist/module.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"module.js","sourceRoot":"","sources":["../src/module.ts"],"names":[],"mappings":"AAEA,oEAAoE;AACpE,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,OAAqB;IAErB,MAAM,YAAY,GAAG,MAAM,eAAe,EAAE,CAAC;IAE7C,MAAM,aAAa,GAAG,OAAO,EAAE,OAAO,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACrE,MAAM,aAAa,GAA4B;QAC7C,KAAK,EAAE,aAAa,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC;QACtC,QAAQ,EAAE,aAAa,CAAC,KAAK,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC;KAC5C,CAAC;IAEF,OAAO,YAAY,CAAC,aAAa,CAAC,CAAC;AACrC,CAAC;AAED,KAAK,UAAU,eAAe;IAC5B,MAAM,EAAE,OAAO,EAAE,iBAAiB,EAAE,GAAG,MAAM,MAAM,CACjD,IAAI,GAAG,CAAC,kBAAkB,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAClD,CAAC;IAEF,OAAO,iBAAiB,CAAC;AAC3B,CAAC"}

package/dist/solver.d.ts

@@ -0,0 +1,19 @@
+import type { EmscriptenModule, SCIPOptions, SolveResult } from './types.js';
+/** Low-level wrapper around the SCIP optimization solver. */
+export declare class SCIP {
+    private module;
+    private scipPtr;
+    private freed;
+    protected constructor(module: EmscriptenModule, scipPtr: number);
+    /** Creates a new SCIP solver instance. */
+    static create(options?: SCIPOptions): Promise<SCIP>;
+    /** Reads a problem from a string in the given format (e.g., 'lp', 'mps'). */
+    readProblemFromString(content: string, format: string): Promise<void>;
+    /** Solves the loaded problem and returns the result. */
+    solve(): Promise<SolveResult>;
+    private extractSolution;
+    /** Frees the SCIP instance. Safe to call multiple times. */
+    free(): void;
+    private ensureNotFreed;
+}
+//# sourceMappingURL=solver.d.ts.map

package/dist/solver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"solver.d.ts","sourceRoot":"","sources":["../src/solver.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,WAAW,EAAE,WAAW,EAAe,MAAM,YAAY,CAAC;AAiB1F,6DAA6D;AAC7D,qBAAa,IAAI;IACf,OAAO,CAAC,MAAM,CAAmB;IACjC,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,KAAK,CAAS;IAEtB,SAAS,aAAa,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM;IAK/D,0CAA0C;WAC7B,MAAM,CAAC,OAAO,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC;IAyBzD,6EAA6E;IACvE,qBAAqB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAsB3E,wDAAwD;IAClD,KAAK,IAAI,OAAO,CAAC,WAAW,CAAC;IAuCnC,OAAO,CAAC,eAAe;IAyCvB,4DAA4D;IAC5D,IAAI,IAAI,IAAI;IAgBZ,OAAO,CAAC,cAAc;CAKvB"}

package/dist/solver.js

@@ -0,0 +1,108 @@
+import { loadSCIPModule } from './module.js';
+const SCIP_STATUS_MAP = {
+    0: 'unknown',
+    1: 'optimal',
+    2: 'infeasible',
+    3: 'unbounded',
+    4: 'inforunbd',
+    5: 'timelimit',
+    6: 'nodelimit',
+    7: 'stallnodelimit',
+    8: 'gaplimit',
+    9: 'sollimit',
+    10: 'bestsollimit',
+    11: 'restartlimit',
+};
+/** Low-level wrapper around the SCIP optimization solver. */
+export class SCIP {
+    constructor(module, scipPtr) {
+        this.freed = false;
+        this.module = module;
+        this.scipPtr = scipPtr;
+    }
+    /** Creates a new SCIP solver instance. */
+    static async create(options) {
+        const module = await loadSCIPModule(options);
+        const scipPtrPtr = module._malloc(4);
+        try {
+            module.ccall('SCIPcreate', 'number', ['number'], [scipPtrPtr]);
+            const scipPtr = module.getValue(scipPtrPtr, 'i32');
+            if (scipPtr === 0) {
+                throw new Error('SCIPcreate failed to create instance');
+            }
+            module.ccall('SCIPincludeDefaultPlugins', 'number', ['number'], [scipPtr]);
+            return new SCIP(module, scipPtr);
+        }
+        finally {
+            module._free(scipPtrPtr);
+        }
+    }
+    /** Reads a problem from a string in the given format (e.g., 'lp', 'mps'). */
+    async readProblemFromString(content, format) {
+        this.ensureNotFreed();
+        const filename = `/tmp/problem.${format}`;
+        this.module.FS.writeFile(filename, content);
+        try {
+            this.module.ccall('SCIPreadProb', 'number', ['number', 'string', 'string'], [this.scipPtr, filename, format]);
+        }
+        finally {
+            try {
+                this.module.FS.unlink(filename);
+            }
+            catch {
+                // Ignore cleanup errors
+            }
+        }
+    }
+    /** Solves the loaded problem and returns the result. */
+    async solve() {
+        this.ensureNotFreed();
+        this.module.ccall('SCIPsolve', 'number', ['number'], [this.scipPtr]);
+        const statusCode = this.module.ccall('SCIPgetStatus', 'number', ['number'], [this.scipPtr]);
+        const status = SCIP_STATUS_MAP[statusCode] ?? 'unknown';
+        const result = { status };
+        if (status === 'optimal' || status === 'timelimit' || status === 'gaplimit' ||
+            status === 'sollimit' || status === 'bestsollimit') {
+            const solPtr = this.module.ccall('SCIPgetBestSol', 'number', ['number'], [this.scipPtr]);
+            if (solPtr !== 0) {
+                result.objective = this.module.ccall('SCIPgetSolOrigObj', 'number', ['number', 'number'], [this.scipPtr, solPtr]);
+                result.solution = this.extractSolution(solPtr);
+            }
+        }
+        return result;
+    }
+    extractSolution(solPtr) {
+        const solution = new Map();
+        const nVars = this.module.ccall('SCIPgetNOrigVars', 'number', ['number'], [this.scipPtr]);
+        const varsPtr = this.module.ccall('SCIPgetOrigVars', 'number', ['number'], [this.scipPtr]);
+        for (let i = 0; i < nVars; i++) {
+            const varPtr = this.module.getValue(varsPtr + i * 4, 'i32');
+            const namePtr = this.module.ccall('SCIPvarGetName', 'number', ['number'], [varPtr]);
+            const name = this.module.UTF8ToString(namePtr);
+            const value = this.module.ccall('SCIPgetSolVal', 'number', ['number', 'number', 'number'], [this.scipPtr, solPtr, varPtr]);
+            solution.set(name, value);
+        }
+        return solution;
+    }
+    /** Frees the SCIP instance. Safe to call multiple times. */
+    free() {
+        if (this.freed) {
+            return;
+        }
+        const scipPtrPtr = this.module._malloc(4);
+        try {
+            this.module.setValue(scipPtrPtr, this.scipPtr, 'i32');
+            this.module.ccall('SCIPfree', 'number', ['number'], [scipPtrPtr]);
+        }
+        finally {
+            this.module._free(scipPtrPtr);
+        }
+        this.freed = true;
+    }
+    ensureNotFreed() {
+        if (this.freed) {
+            throw new Error('SCIP instance has been freed');
+        }
+    }
+}
+//# sourceMappingURL=solver.js.map

package/dist/solver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"solver.js","sourceRoot":"","sources":["../src/solver.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAG7C,MAAM,eAAe,GAAgC;IACnD,CAAC,EAAE,SAAS;IACZ,CAAC,EAAE,SAAS;IACZ,CAAC,EAAE,YAAY;IACf,CAAC,EAAE,WAAW;IACd,CAAC,EAAE,WAAW;IACd,CAAC,EAAE,WAAW;IACd,CAAC,EAAE,WAAW;IACd,CAAC,EAAE,gBAAgB;IACnB,CAAC,EAAE,UAAU;IACb,CAAC,EAAE,UAAU;IACb,EAAE,EAAE,cAAc;IAClB,EAAE,EAAE,cAAc;CACnB,CAAC;AAEF,6DAA6D;AAC7D,MAAM,OAAO,IAAI;IAKf,YAAsB,MAAwB,EAAE,OAAe;QAFvD,UAAK,GAAG,KAAK,CAAC;QAGpB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;IAED,0CAA0C;IAC1C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAqB;QACvC,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,OAAO,CAAC,CAAC;QAE7C,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACrC,IAAI,CAAC;YACH,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;YAC/D,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;YAEnD,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;gBAClB,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;YAC1D,CAAC;YAED,MAAM,CAAC,KAAK,CACV,2BAA2B,EAC3B,QAAQ,EACR,CAAC,QAAQ,CAAC,EACV,CAAC,OAAO,CAAC,CACV,CAAC;YAEF,OAAO,IAAI,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACnC,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,KAAK,CAAC,qBAAqB,CAAC,OAAe,EAAE,MAAc;QACzD,IAAI,CAAC,cAAc,EAAE,CAAC;QAEtB,MAAM,QAAQ,GAAG,gBAAgB,MAAM,EAAE,CAAC;QAC1C,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAE5C,IAAI,CAAC;YACH,IAAI,CAAC,MAAM,CAAC,KAAK,CACf,cAAc,EACd,QAAQ,EACR,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAC9B,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CACjC,CAAC;QACJ,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC;gBACH,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAClC,CAAC;YAAC,MAAM,CAAC;gBACP,wBAAwB;YAC1B,CAAC;QACH,CAAC;IACH,CAAC;IAED,wDAAwD;IACxD,KAAK,CAAC,KAAK;QACT,IAAI,CAAC,cAAc,EAAE,CAAC;QAEtB,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;QAErE,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAClC,eAAe,EACf,QAAQ,EACR,CAAC,QAAQ,CAAC,EACV,CAAC,IAAI,CAAC,OAAO,CAAC,CACL,CAAC;QACZ,MAAM,MAAM,GAAG,eAAe,CAAC,UAAU,CAAC,IAAI,SAAS,CAAC;QAExD,MAAM,MAAM,GAAgB,EAAE,MAAM,EAAE,CAAC;QAEvC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,WAAW,IAAI,MAAM,KAAK,UAAU;YACvE,MAAM,KAAK,UAAU,IAAI,MAAM,KAAK,cAAc,EAAE,CAAC;YACvD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAC9B,gBAAgB,EAChB,QAAQ,EACR,CAAC,QAAQ,CAAC,EACV,CAAC,IAAI,CAAC,OAAO,CAAC,CACL,CAAC;YAEZ,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;gBACjB,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAClC,mBAAmB,EACnB,QAAQ,EACR,CAAC,QAAQ,EAAE,QAAQ,CAAC,EACpB,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CACb,CAAC;gBAEZ,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,eAAe,CAAC,MAAc;QACpC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;QAE3C,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAC7B,kBAAkB,EAClB,QAAQ,EACR,CAAC,QAAQ,CAAC,EACV,CAAC,IAAI,CAAC,OAAO,CAAC,CACL,CAAC;QAEZ,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAC/B,iBAAiB,EACjB,QAAQ,EACR,CAAC,QAAQ,CAAC,EACV,CAAC,IAAI,CAAC,OAAO,CAAC,CACL,CAAC;QAEZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAE5D,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAC/B,gBAAgB,EAChB,QAAQ,EACR,CAAC,QAAQ,CAAC,EACV,CAAC,MAAM,CAAC,CACC,CAAC;YACZ,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;YAE/C,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAC7B,eAAe,EACf,QAAQ,EACR,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAC9B,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CACrB,CAAC;YAEZ,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC5B,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,4DAA4D;IAC5D,IAAI;QACF,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO;QACT,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAI,CAAC;YACH,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACtD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;QACpE,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAChC,CAAC;QAED,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;IACpB,CAAC;IAEO,cAAc;QACpB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;CACF"}