cpsat-js 0.1.0-beta.0

package/dist/model/cp-model.js

@@ -0,0 +1,175 @@
+import { create } from '@bufbuild/protobuf';
+import { CpModelProtoSchema, ConstraintProtoSchema, IntegerVariableProtoSchema, AllDifferentConstraintProtoSchema, BoolArgumentProtoSchema, NoOverlapConstraintProtoSchema, CircuitConstraintProtoSchema, LinearConstraintProtoSchema, IntervalConstraintProtoSchema, CpObjectiveProtoSchema, } from '../generated/cp_model_pb.js';
+import { IntVar, BoolVar } from './int-var.js';
+import { BoundedLinearExpression, toLinearExpr } from './linear-expr.js';
+import { IntervalVar } from './interval-var.js';
+import { Constraint } from './constraint.js';
+/**
+ * Builder for a CP-SAT model. Mirrors the Python CpModel API.
+ *
+ * Usage:
+ *   const model = new CpModel();
+ *   const x = model.newIntVar(0, 10, 'x');
+ *   model.maximize(x);
+ */
+export class CpModel {
+    proto;
+    constructor(name) {
+        this.proto = create(CpModelProtoSchema, { name: name ?? '' });
+    }
+    // ── Variable creation ──
+    newIntVar(lb, ub, name) {
+        const index = this.proto.variables.length;
+        this.proto.variables.push(create(IntegerVariableProtoSchema, {
+            name,
+            domain: [BigInt(lb), BigInt(ub)],
+        }));
+        return new IntVar(index, name);
+    }
+    newBoolVar(name) {
+        const index = this.proto.variables.length;
+        this.proto.variables.push(create(IntegerVariableProtoSchema, {
+            name,
+            domain: [0n, 1n],
+        }));
+        return new BoolVar(index, name);
+    }
+    newConstant(value) {
+        const v = BigInt(value);
+        const name = `const_${v}`;
+        const index = this.proto.variables.length;
+        this.proto.variables.push(create(IntegerVariableProtoSchema, {
+            name,
+            domain: [v, v],
+        }));
+        return new IntVar(index, name);
+    }
+    // ── Interval creation ──
+    newIntervalVar(start, size, end, name) {
+        const ct = this.addConstraintProto();
+        ct.name = name;
+        ct.constraint = {
+            case: 'interval',
+            value: create(IntervalConstraintProtoSchema, {
+                start: toLinearExpr(start).toProto(),
+                size: toLinearExpr(size).toProto(),
+                end: toLinearExpr(end).toProto(),
+            }),
+        };
+        return new IntervalVar(this.proto.constraints.length - 1, name);
+    }
+    // ── Constraints ──
+    /** Add a bounded linear constraint: lb <= expr <= ub */
+    add(bounded) {
+        const ct = this.addConstraintProto();
+        const vars = [];
+        const coeffs = [];
+        for (const [varIdx, coeff] of bounded.expr.terms) {
+            vars.push(varIdx);
+            coeffs.push(coeff);
+        }
+        ct.constraint = {
+            case: 'linear',
+            value: create(LinearConstraintProtoSchema, {
+                vars,
+                coeffs,
+                domain: [bounded.lb - bounded.expr.offset, bounded.ub - bounded.expr.offset],
+            }),
+        };
+        return new Constraint(ct);
+    }
+    addLinearConstraint(expr, lb, ub) {
+        const linearExpr = toLinearExpr(expr);
+        return this.add(new BoundedLinearExpression(linearExpr, BigInt(lb), BigInt(ub)));
+    }
+    addAllDifferent(exprs) {
+        const ct = this.addConstraintProto();
+        ct.constraint = {
+            case: 'allDiff',
+            value: create(AllDifferentConstraintProtoSchema, {
+                exprs: exprs.map((e) => toLinearExpr(e).toProto()),
+            }),
+        };
+        return new Constraint(ct);
+    }
+    addBoolOr(literals) {
+        const ct = this.addConstraintProto();
+        ct.constraint = {
+            case: 'boolOr',
+            value: create(BoolArgumentProtoSchema, {
+                literals: literals.map((lit) => (typeof lit === 'number' ? lit : lit.index)),
+            }),
+        };
+        return new Constraint(ct);
+    }
+    addBoolAnd(literals) {
+        const ct = this.addConstraintProto();
+        ct.constraint = {
+            case: 'boolAnd',
+            value: create(BoolArgumentProtoSchema, {
+                literals: literals.map((lit) => (typeof lit === 'number' ? lit : lit.index)),
+            }),
+        };
+        return new Constraint(ct);
+    }
+    addNoOverlap(intervals) {
+        const ct = this.addConstraintProto();
+        ct.constraint = {
+            case: 'noOverlap',
+            value: create(NoOverlapConstraintProtoSchema, {
+                intervals: intervals.map((iv) => iv.constraintIndex),
+            }),
+        };
+        return new Constraint(ct);
+    }
+    addCircuit(arcs) {
+        const tails = [];
+        const heads = [];
+        const literals = [];
+        for (const [tail, head, lit] of arcs) {
+            tails.push(tail);
+            heads.push(head);
+            literals.push(typeof lit === 'number' ? lit : lit.index);
+        }
+        const ct = this.addConstraintProto();
+        ct.constraint = {
+            case: 'circuit',
+            value: create(CircuitConstraintProtoSchema, { tails, heads, literals }),
+        };
+        return new Constraint(ct);
+    }
+    // ── Objective ──
+    minimize(expr) {
+        this.setObjective(expr, false);
+    }
+    maximize(expr) {
+        this.setObjective(expr, true);
+    }
+    // ── Serialization ──
+    toProto() {
+        return this.proto;
+    }
+    // ── Internal ──
+    addConstraintProto() {
+        const ct = create(ConstraintProtoSchema, {});
+        this.proto.constraints.push(ct);
+        return ct;
+    }
+    setObjective(expr, maximize) {
+        const linearExpr = toLinearExpr(expr);
+        const vars = [];
+        const coeffs = [];
+        for (const [varIdx, coeff] of linearExpr.terms) {
+            vars.push(varIdx);
+            // For maximization, negate coefficients (CP-SAT always minimizes)
+            coeffs.push(maximize ? -coeff : coeff);
+        }
+        this.proto.objective = create(CpObjectiveProtoSchema, {
+            vars,
+            coeffs,
+            offset: maximize ? -Number(linearExpr.offset) : Number(linearExpr.offset),
+            scalingFactor: maximize ? -1.0 : 1.0,
+        });
+    }
+}
+//# sourceMappingURL=cp-model.js.map

package/dist/model/cp-model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cp-model.js","sourceRoot":"","sources":["../../src/model/cp-model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC5C,OAAO,EAEL,kBAAkB,EAElB,qBAAqB,EACrB,0BAA0B,EAC1B,iCAAiC,EACjC,uBAAuB,EACvB,8BAA8B,EAC9B,4BAA4B,EAC5B,2BAA2B,EAC3B,6BAA6B,EAC7B,sBAAsB,GACvB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAuB,MAAM,cAAc,CAAC;AACpE,OAAO,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACzE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C;;;;;;;GAOG;AACH,MAAM,OAAO,OAAO;IACD,KAAK,CAAe;IAErC,YAAY,IAAa;QACvB,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,kBAAkB,EAAE,EAAE,IAAI,EAAE,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC;IAChE,CAAC;IAED,0BAA0B;IAE1B,SAAS,CAAC,EAAmB,EAAE,EAAmB,EAAE,IAAY;QAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;QAC1C,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CACvB,MAAM,CAAC,0BAA0B,EAAE;YACjC,IAAI;YACJ,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;SACjC,CAAC,CACH,CAAC;QACF,OAAO,IAAI,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACjC,CAAC;IAED,UAAU,CAAC,IAAY;QACrB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;QAC1C,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CACvB,MAAM,CAAC,0BAA0B,EAAE;YACjC,IAAI;YACJ,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;SACjB,CAAC,CACH,CAAC;QACF,OAAO,IAAI,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,CAAC;IAED,WAAW,CAAC,KAAsB;QAChC,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;QAC1C,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CACvB,MAAM,CAAC,0BAA0B,EAAE;YACjC,IAAI;YACJ,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;SACf,CAAC,CACH,CAAC;QACF,OAAO,IAAI,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACjC,CAAC;IAED,0BAA0B;IAE1B,cAAc,CACZ,KAAqB,EACrB,IAAoB,EACpB,GAAmB,EACnB,IAAY;QAEZ,MAAM,EAAE,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACrC,EAAE,CAAC,IAAI,GAAG,IAAI,CAAC;QACf,EAAE,CAAC,UAAU,GAAG;YACd,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,MAAM,CAAC,6BAA6B,EAAE;gBAC3C,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE;gBACpC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE;gBAClC,GAAG,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE;aACjC,CAAC;SACH,CAAC;QACF,OAAO,IAAI,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;IAClE,CAAC;IAED,oBAAoB;IAEpB,wDAAwD;IACxD,GAAG,CAAC,OAAgC;QAClC,MAAM,EAAE,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACrC,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YACjD,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAClB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;QACD,EAAE,CAAC,UAAU,GAAG;YACd,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,MAAM,CAAC,2BAA2B,EAAE;gBACzC,IAAI;gBACJ,MAAM;gBACN,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;aAC7E,CAAC;SACH,CAAC;QACF,OAAO,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC;IAED,mBAAmB,CAAC,IAAoB,EAAE,EAAmB,EAAE,EAAmB;QAChF,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QACtC,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,uBAAuB,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACnF,CAAC;IAED,eAAe,CAAC,KAAuB;QACrC,MAAM,EAAE,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACrC,EAAE,CAAC,UAAU,GAAG;YACd,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,MAAM,CAAC,iCAAiC,EAAE;gBAC/C,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;aACnD,CAAC;SACH,CAAC;QACF,OAAO,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC;IAED,SAAS,CAAC,QAAuC;QAC/C,MAAM,EAAE,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACrC,EAAE,CAAC,UAAU,GAAG;YACd,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,MAAM,CAAC,uBAAuB,EAAE;gBACrC,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;aAC7E,CAAC;SACH,CAAC;QACF,OAAO,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC;IAED,UAAU,CAAC,QAAuC;QAChD,MAAM,EAAE,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACrC,EAAE,CAAC,UAAU,GAAG;YACd,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,MAAM,CAAC,uBAAuB,EAAE;gBACrC,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;aAC7E,CAAC;SACH,CAAC;QACF,OAAO,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC;IAED,YAAY,CAAC,SAAwB;QACnC,MAAM,EAAE,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACrC,EAAE,CAAC,UAAU,GAAG;YACd,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,MAAM,CAAC,8BAA8B,EAAE;gBAC5C,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,eAAe,CAAC;aACrD,CAAC;SACH,CAAC;QACF,OAAO,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC;IAED,UAAU,CAAC,IAAmD;QAC5D,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;YACrC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,QAAQ,CAAC,IAAI,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC;QACD,MAAM,EAAE,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACrC,EAAE,CAAC,UAAU,GAAG;YACd,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,MAAM,CAAC,4BAA4B,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;SACxE,CAAC;QACF,OAAO,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC;IAED,kBAAkB;IAElB,QAAQ,CAAC,IAAoB;QAC3B,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACjC,CAAC;IAED,QAAQ,CAAC,IAAoB;QAC3B,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC;IAED,sBAAsB;IAEtB,OAAO;QACL,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IAED,iBAAiB;IAET,kBAAkB;QACxB,MAAM,EAAE,GAAG,MAAM,CAAC,qBAAqB,EAAE,EAAE,CAAC,CAAC;QAC7C,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChC,OAAO,EAAE,CAAC;IACZ,CAAC;IAEO,YAAY,CAAC,IAAoB,EAAE,QAAiB;QAC1D,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YAC/C,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAClB,kEAAkE;YAClE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACzC,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,MAAM,CAAC,sBAAsB,EAAE;YACpD,IAAI;YACJ,MAAM;YACN,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC;YACzE,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG;SACrC,CAAC,CAAC;IACL,CAAC;CACF"}

package/dist/model/domain.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Represents a domain as sorted disjoint intervals [min0, max0, min1, max1, ...].
+ * Used for integer variable bounds in CP-SAT.
+ */
+export declare class Domain {
+    readonly intervals: readonly [bigint, bigint][];
+    private constructor();
+    static fromRange(min: number | bigint, max: number | bigint): Domain;
+    static fromValues(values: (number | bigint)[]): Domain;
+    static fromFlattenedIntervals(flat: bigint[]): Domain;
+    toFlatBigIntArray(): bigint[];
+}
+//# sourceMappingURL=domain.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"domain.d.ts","sourceRoot":"","sources":["../../src/model/domain.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,qBAAa,MAAM;IACjB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;IAEhD,OAAO;IAIP,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM;IAIpE,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,GAAG,MAAM;IAqBtD,MAAM,CAAC,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM;IAQrD,iBAAiB,IAAI,MAAM,EAAE;CAG9B"}

package/dist/model/domain.js

@@ -0,0 +1,45 @@
+/**
+ * Represents a domain as sorted disjoint intervals [min0, max0, min1, max1, ...].
+ * Used for integer variable bounds in CP-SAT.
+ */
+export class Domain {
+    intervals;
+    constructor(intervals) {
+        this.intervals = intervals;
+    }
+    static fromRange(min, max) {
+        return new Domain([[BigInt(min), BigInt(max)]]);
+    }
+    static fromValues(values) {
+        if (values.length === 0) {
+            return new Domain([]);
+        }
+        const sorted = [...values].map(BigInt).sort((a, b) => (a < b ? -1 : a > b ? 1 : 0));
+        const intervals = [];
+        let start = sorted[0];
+        let end = sorted[0];
+        for (let i = 1; i < sorted.length; i++) {
+            if (sorted[i] === end + 1n) {
+                end = sorted[i];
+            }
+            else {
+                intervals.push([start, end]);
+                start = sorted[i];
+                end = sorted[i];
+            }
+        }
+        intervals.push([start, end]);
+        return new Domain(intervals);
+    }
+    static fromFlattenedIntervals(flat) {
+        const intervals = [];
+        for (let i = 0; i < flat.length; i += 2) {
+            intervals.push([flat[i], flat[i + 1]]);
+        }
+        return new Domain(intervals);
+    }
+    toFlatBigIntArray() {
+        return this.intervals.flatMap(([min, max]) => [min, max]);
+    }
+}
+//# sourceMappingURL=domain.js.map

package/dist/model/domain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain.js","sourceRoot":"","sources":["../../src/model/domain.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,OAAO,MAAM;IACR,SAAS,CAA8B;IAEhD,YAAoB,SAA6B;QAC/C,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;IAC7B,CAAC;IAED,MAAM,CAAC,SAAS,CAAC,GAAoB,EAAE,GAAoB;QACzD,OAAO,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,MAA2B;QAC3C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC;QACxB,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpF,MAAM,SAAS,GAAuB,EAAE,CAAC;QACzC,IAAI,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,GAAG,EAAE,EAAE,CAAC;gBAC3B,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YAClB,CAAC;iBAAM,CAAC;gBACN,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;gBAC7B,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;gBAClB,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YAClB,CAAC;QACH,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QAC7B,OAAO,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC;IAC/B,CAAC;IAED,MAAM,CAAC,sBAAsB,CAAC,IAAc;QAC1C,MAAM,SAAS,GAAuB,EAAE,CAAC;QACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,CAAC;QACD,OAAO,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC;IAC/B,CAAC;IAED,iBAAiB;QACf,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC5D,CAAC;CACF"}

package/dist/model/int-var.d.ts

@@ -0,0 +1,37 @@
+import { LinearExpr, BoundedLinearExpression } from './linear-expr.js';
+export type LinearExprLike = LinearExpr | IntVar | number | bigint;
+/**
+ * Represents an integer variable in a CP-SAT model.
+ * Wraps a variable index and provides expression-building methods.
+ */
+export declare class IntVar {
+    readonly index: number;
+    readonly name: string;
+    constructor(index: number, name: string);
+    toLinearExpr(): LinearExpr;
+    plus(other: LinearExprLike): LinearExpr;
+    minus(other: LinearExprLike): LinearExpr;
+    times(scalar: number | bigint): LinearExpr;
+    negate(): LinearExpr;
+    /** expr == other */
+    equals(other: LinearExprLike): BoundedLinearExpression;
+    /** expr != other — encoded as domain with hole at 0 */
+    notEquals(other: LinearExprLike): BoundedLinearExpression;
+    /** expr <= other */
+    le(other: LinearExprLike): BoundedLinearExpression;
+    /** expr >= other */
+    ge(other: LinearExprLike): BoundedLinearExpression;
+    /** expr < other */
+    lt(other: LinearExprLike): BoundedLinearExpression;
+    /** expr > other */
+    gt(other: LinearExprLike): BoundedLinearExpression;
+    /** Negative literal: NOT this variable (for boolean context) */
+    not(): number;
+}
+/**
+ * A boolean variable (integer variable with domain [0, 1]).
+ */
+export declare class BoolVar extends IntVar {
+    constructor(index: number, name: string);
+}
+//# sourceMappingURL=int-var.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"int-var.d.ts","sourceRoot":"","sources":["../../src/model/int-var.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,uBAAuB,EAAgB,MAAM,kBAAkB,CAAC;AAKrF,MAAM,MAAM,cAAc,GAAG,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;AAEnE;;;GAGG;AACH,qBAAa,MAAM;IACjB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;gBAEV,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM;IAKvC,YAAY,IAAI,UAAU;IAI1B,IAAI,CAAC,KAAK,EAAE,cAAc,GAAG,UAAU;IAIvC,KAAK,CAAC,KAAK,EAAE,cAAc,GAAG,UAAU;IAIxC,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,UAAU;IAI1C,MAAM,IAAI,UAAU;IAIpB,oBAAoB;IACpB,MAAM,CAAC,KAAK,EAAE,cAAc,GAAG,uBAAuB;IAOtD,uDAAuD;IACvD,SAAS,CAAC,KAAK,EAAE,cAAc,GAAG,uBAAuB;IASzD,oBAAoB;IACpB,EAAE,CAAC,KAAK,EAAE,cAAc,GAAG,uBAAuB;IAOlD,oBAAoB;IACpB,EAAE,CAAC,KAAK,EAAE,cAAc,GAAG,uBAAuB;IAOlD,mBAAmB;IACnB,EAAE,CAAC,KAAK,EAAE,cAAc,GAAG,uBAAuB;IAOlD,mBAAmB;IACnB,EAAE,CAAC,KAAK,EAAE,cAAc,GAAG,uBAAuB;IAOlD,gEAAgE;IAChE,GAAG,IAAI,MAAM;CAGd;AAED;;GAEG;AACH,qBAAa,OAAQ,SAAQ,MAAM;gBACrB,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM;CAGxC"}

package/dist/model/int-var.js

@@ -0,0 +1,87 @@
+import { LinearExpr, BoundedLinearExpression, toLinearExpr } from './linear-expr.js';
+const INT_VAR_MIN = -(2 ** 52);
+const INT_VAR_MAX = 2 ** 52;
+/**
+ * Represents an integer variable in a CP-SAT model.
+ * Wraps a variable index and provides expression-building methods.
+ */
+export class IntVar {
+    index;
+    name;
+    constructor(index, name) {
+        this.index = index;
+        this.name = name;
+    }
+    toLinearExpr() {
+        return LinearExpr.fromVarIndex(this.index);
+    }
+    plus(other) {
+        return this.toLinearExpr().plus(toLinearExpr(other));
+    }
+    minus(other) {
+        return this.toLinearExpr().minus(toLinearExpr(other));
+    }
+    times(scalar) {
+        return this.toLinearExpr().times(scalar);
+    }
+    negate() {
+        return this.toLinearExpr().negate();
+    }
+    /** expr == other */
+    equals(other) {
+        const lhs = this.toLinearExpr();
+        const rhs = toLinearExpr(other);
+        const diff = lhs.minus(rhs);
+        return new BoundedLinearExpression(diff, 0n, 0n);
+    }
+    /** expr != other — encoded as domain with hole at 0 */
+    notEquals(other) {
+        const lhs = this.toLinearExpr();
+        const rhs = toLinearExpr(other);
+        const diff = lhs.minus(rhs);
+        // CP-SAT encodes != via domain: [INT_MIN, -1] U [1, INT_MAX]
+        // We'll handle this specially in CpModel.add()
+        return new BoundedLinearExpression(diff, BigInt(INT_VAR_MIN), BigInt(INT_VAR_MAX));
+    }
+    /** expr <= other */
+    le(other) {
+        const lhs = this.toLinearExpr();
+        const rhs = toLinearExpr(other);
+        const diff = lhs.minus(rhs);
+        return new BoundedLinearExpression(diff, BigInt(INT_VAR_MIN), 0n);
+    }
+    /** expr >= other */
+    ge(other) {
+        const lhs = this.toLinearExpr();
+        const rhs = toLinearExpr(other);
+        const diff = lhs.minus(rhs);
+        return new BoundedLinearExpression(diff, 0n, BigInt(INT_VAR_MAX));
+    }
+    /** expr < other */
+    lt(other) {
+        const lhs = this.toLinearExpr();
+        const rhs = toLinearExpr(other);
+        const diff = lhs.minus(rhs);
+        return new BoundedLinearExpression(diff, BigInt(INT_VAR_MIN), -1n);
+    }
+    /** expr > other */
+    gt(other) {
+        const lhs = this.toLinearExpr();
+        const rhs = toLinearExpr(other);
+        const diff = lhs.minus(rhs);
+        return new BoundedLinearExpression(diff, 1n, BigInt(INT_VAR_MAX));
+    }
+    /** Negative literal: NOT this variable (for boolean context) */
+    not() {
+        return -this.index - 1;
+    }
+}
+/**
+ * A boolean variable (integer variable with domain [0, 1]).
+ */
+export class BoolVar extends IntVar {
+    constructor(index, name) {
+        super(index, name);
+    }
+}
+//# sourceMappingURL=int-var.js.map

package/dist/model/int-var.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"int-var.js","sourceRoot":"","sources":["../../src/model/int-var.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAErF,MAAM,WAAW,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAC/B,MAAM,WAAW,GAAG,CAAC,IAAI,EAAE,CAAC;AAI5B;;;GAGG;AACH,MAAM,OAAO,MAAM;IACR,KAAK,CAAS;IACd,IAAI,CAAS;IAEtB,YAAY,KAAa,EAAE,IAAY;QACrC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;IAED,YAAY;QACV,OAAO,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC;IAED,IAAI,CAAC,KAAqB;QACxB,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IACvD,CAAC;IAED,KAAK,CAAC,KAAqB;QACzB,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IACxD,CAAC;IAED,KAAK,CAAC,MAAuB;QAC3B,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC3C,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC,MAAM,EAAE,CAAC;IACtC,CAAC;IAED,oBAAoB;IACpB,MAAM,CAAC,KAAqB;QAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC5B,OAAO,IAAI,uBAAuB,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IACnD,CAAC;IAED,uDAAuD;IACvD,SAAS,CAAC,KAAqB;QAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC5B,6DAA6D;QAC7D,+CAA+C;QAC/C,OAAO,IAAI,uBAAuB,CAAC,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;IACrF,CAAC;IAED,oBAAoB;IACpB,EAAE,CAAC,KAAqB;QACtB,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC5B,OAAO,IAAI,uBAAuB,CAAC,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC;IACpE,CAAC;IAED,oBAAoB;IACpB,EAAE,CAAC,KAAqB;QACtB,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC5B,OAAO,IAAI,uBAAuB,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;IACpE,CAAC;IAED,mBAAmB;IACnB,EAAE,CAAC,KAAqB;QACtB,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC5B,OAAO,IAAI,uBAAuB,CAAC,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,mBAAmB;IACnB,EAAE,CAAC,KAAqB;QACtB,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC5B,OAAO,IAAI,uBAAuB,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;IACpE,CAAC;IAED,gEAAgE;IAChE,GAAG;QACD,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;IACzB,CAAC;CACF;AAED;;GAEG;AACH,MAAM,OAAO,OAAQ,SAAQ,MAAM;IACjC,YAAY,KAAa,EAAE,IAAY;QACrC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACrB,CAAC;CACF"}

package/dist/model/interval-var.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Represents an interval variable in a CP-SAT model.
+ * Used for scheduling constraints (noOverlap, cumulative).
+ *
+ * An interval is defined by its constraint index in the model.
+ * The constraint enforces: start + size == end.
+ */
+export declare class IntervalVar {
+    /** Index of the interval constraint in the model's constraints array */
+    readonly constraintIndex: number;
+    readonly name: string;
+    constructor(constraintIndex: number, name: string);
+}
+//# sourceMappingURL=interval-var.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"interval-var.d.ts","sourceRoot":"","sources":["../../src/model/interval-var.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,qBAAa,WAAW;IACtB,wEAAwE;IACxE,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;gBAEV,eAAe,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM;CAIlD"}

package/dist/model/interval-var.js

@@ -0,0 +1,17 @@
+/**
+ * Represents an interval variable in a CP-SAT model.
+ * Used for scheduling constraints (noOverlap, cumulative).
+ *
+ * An interval is defined by its constraint index in the model.
+ * The constraint enforces: start + size == end.
+ */
+export class IntervalVar {
+    /** Index of the interval constraint in the model's constraints array */
+    constraintIndex;
+    name;
+    constructor(constraintIndex, name) {
+        this.constraintIndex = constraintIndex;
+        this.name = name;
+    }
+}
+//# sourceMappingURL=interval-var.js.map

package/dist/model/interval-var.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"interval-var.js","sourceRoot":"","sources":["../../src/model/interval-var.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,MAAM,OAAO,WAAW;IACtB,wEAAwE;IAC/D,eAAe,CAAS;IACxB,IAAI,CAAS;IAEtB,YAAY,eAAuB,EAAE,IAAY;QAC/C,IAAI,CAAC,eAAe,GAAG,eAAe,CAAC;QACvC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;CACF"}

package/dist/model/linear-expr.d.ts

@@ -0,0 +1,43 @@
+import { type LinearExpressionProto } from '../generated/cp_model_pb.js';
+/**
+ * Represents a linear expression: sum(coeffs[i] * vars[i]) + offset.
+ * Used to build constraints and objectives in CP-SAT models.
+ */
+export declare class LinearExpr {
+    /** Map from variable index to coefficient */
+    readonly terms: ReadonlyMap<number, bigint>;
+    readonly offset: bigint;
+    constructor(terms: Map<number, bigint>, offset: bigint);
+    static fromConstant(value: number | bigint): LinearExpr;
+    static fromVarIndex(varIndex: number, coeff?: bigint): LinearExpr;
+    plus(other: LinearExpr | number | bigint): LinearExpr;
+    minus(other: LinearExpr | number | bigint): LinearExpr;
+    times(scalar: number | bigint): LinearExpr;
+    negate(): LinearExpr;
+    /** expr == value */
+    equals(other: LinearExpr | number | bigint): BoundedLinearExpression;
+    /** expr <= value */
+    le(other: LinearExpr | number | bigint): BoundedLinearExpression;
+    /** expr >= value */
+    ge(other: LinearExpr | number | bigint): BoundedLinearExpression;
+    /** expr < value */
+    lt(other: LinearExpr | number | bigint): BoundedLinearExpression;
+    /** expr > value */
+    gt(other: LinearExpr | number | bigint): BoundedLinearExpression;
+    toProto(): LinearExpressionProto;
+}
+/**
+ * Represents a bounded linear expression: lb <= expr <= ub.
+ * Created by comparison methods on LinearExpr/IntVar.
+ */
+export declare class BoundedLinearExpression {
+    readonly expr: LinearExpr;
+    readonly lb: bigint;
+    readonly ub: bigint;
+    constructor(expr: LinearExpr, lb: bigint, ub: bigint);
+}
+/** Helper to convert something that could be LinearExpr, number, or has toLinearExpr() */
+export declare function toLinearExpr(value: LinearExpr | number | bigint | {
+    toLinearExpr(): LinearExpr;
+}): LinearExpr;
+//# sourceMappingURL=linear-expr.d.ts.map

package/dist/model/linear-expr.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"linear-expr.d.ts","sourceRoot":"","sources":["../../src/model/linear-expr.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,KAAK,qBAAqB,EAC3B,MAAM,6BAA6B,CAAC;AAErC;;;GAGG;AACH,qBAAa,UAAU;IACrB,6CAA6C;IAC7C,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;gBAEZ,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM;IAKtD,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,UAAU;IAIvD,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,GAAE,MAAW,GAAG,UAAU;IAIrE,IAAI,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,UAAU;IAiBrD,KAAK,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,UAAU;IAOtD,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,UAAU;IAY1C,MAAM,IAAI,UAAU;IAIpB,oBAAoB;IACpB,MAAM,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,uBAAuB;IAOpE,oBAAoB;IACpB,EAAE,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,uBAAuB;IAOhE,oBAAoB;IACpB,EAAE,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,uBAAuB;IAOhE,mBAAmB;IACnB,EAAE,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,uBAAuB;IAOhE,mBAAmB;IACnB,EAAE,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,uBAAuB;IAOhE,OAAO,IAAI,qBAAqB;CAajC;AAED;;;GAGG;AACH,qBAAa,uBAAuB;IAClC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;gBAER,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM;CAKrD;AAED,0FAA0F;AAC1F,wBAAgB,YAAY,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG;IAAE,YAAY,IAAI,UAAU,CAAA;CAAE,GAAG,UAAU,CAI7G"}

package/dist/model/linear-expr.js

@@ -0,0 +1,129 @@
+import { create } from '@bufbuild/protobuf';
+import { LinearExpressionProtoSchema, } from '../generated/cp_model_pb.js';
+/**
+ * Represents a linear expression: sum(coeffs[i] * vars[i]) + offset.
+ * Used to build constraints and objectives in CP-SAT models.
+ */
+export class LinearExpr {
+    /** Map from variable index to coefficient */
+    terms;
+    offset;
+    constructor(terms, offset) {
+        this.terms = terms;
+        this.offset = offset;
+    }
+    static fromConstant(value) {
+        return new LinearExpr(new Map(), BigInt(value));
+    }
+    static fromVarIndex(varIndex, coeff = 1n) {
+        return new LinearExpr(new Map([[varIndex, coeff]]), 0n);
+    }
+    plus(other) {
+        if (typeof other === 'number' || typeof other === 'bigint') {
+            return new LinearExpr(new Map(this.terms), this.offset + BigInt(other));
+        }
+        const newTerms = new Map(this.terms);
+        for (const [varIdx, coeff] of other.terms) {
+            const existing = newTerms.get(varIdx) ?? 0n;
+            const sum = existing + coeff;
+            if (sum === 0n) {
+                newTerms.delete(varIdx);
+            }
+            else {
+                newTerms.set(varIdx, sum);
+            }
+        }
+        return new LinearExpr(newTerms, this.offset + other.offset);
+    }
+    minus(other) {
+        if (typeof other === 'number' || typeof other === 'bigint') {
+            return new LinearExpr(new Map(this.terms), this.offset - BigInt(other));
+        }
+        return this.plus(other.times(-1));
+    }
+    times(scalar) {
+        const s = BigInt(scalar);
+        if (s === 0n) {
+            return LinearExpr.fromConstant(0);
+        }
+        const newTerms = new Map();
+        for (const [varIdx, coeff] of this.terms) {
+            newTerms.set(varIdx, coeff * s);
+        }
+        return new LinearExpr(newTerms, this.offset * s);
+    }
+    negate() {
+        return this.times(-1);
+    }
+    /** expr == value */
+    equals(other) {
+        const rhs = typeof other === 'number' || typeof other === 'bigint'
+            ? LinearExpr.fromConstant(other) : other;
+        const diff = this.minus(rhs);
+        return new BoundedLinearExpression(diff, 0n, 0n);
+    }
+    /** expr <= value */
+    le(other) {
+        const rhs = typeof other === 'number' || typeof other === 'bigint'
+            ? LinearExpr.fromConstant(other) : other;
+        const diff = this.minus(rhs);
+        return new BoundedLinearExpression(diff, -4503599627370496n, 0n);
+    }
+    /** expr >= value */
+    ge(other) {
+        const rhs = typeof other === 'number' || typeof other === 'bigint'
+            ? LinearExpr.fromConstant(other) : other;
+        const diff = this.minus(rhs);
+        return new BoundedLinearExpression(diff, 0n, 4503599627370496n);
+    }
+    /** expr < value */
+    lt(other) {
+        const rhs = typeof other === 'number' || typeof other === 'bigint'
+            ? LinearExpr.fromConstant(other) : other;
+        const diff = this.minus(rhs);
+        return new BoundedLinearExpression(diff, -4503599627370496n, -1n);
+    }
+    /** expr > value */
+    gt(other) {
+        const rhs = typeof other === 'number' || typeof other === 'bigint'
+            ? LinearExpr.fromConstant(other) : other;
+        const diff = this.minus(rhs);
+        return new BoundedLinearExpression(diff, 1n, 4503599627370496n);
+    }
+    toProto() {
+        const vars = [];
+        const coeffs = [];
+        for (const [varIdx, coeff] of this.terms) {
+            vars.push(varIdx);
+            coeffs.push(coeff);
+        }
+        return create(LinearExpressionProtoSchema, {
+            vars,
+            coeffs,
+            offset: this.offset,
+        });
+    }
+}
+/**
+ * Represents a bounded linear expression: lb <= expr <= ub.
+ * Created by comparison methods on LinearExpr/IntVar.
+ */
+export class BoundedLinearExpression {
+    expr;
+    lb;
+    ub;
+    constructor(expr, lb, ub) {
+        this.expr = expr;
+        this.lb = lb;
+        this.ub = ub;
+    }
+}
+/** Helper to convert something that could be LinearExpr, number, or has toLinearExpr() */
+export function toLinearExpr(value) {
+    if (value instanceof LinearExpr)
+        return value;
+    if (typeof value === 'number' || typeof value === 'bigint')
+        return LinearExpr.fromConstant(value);
+    return value.toLinearExpr();
+}
+//# sourceMappingURL=linear-expr.js.map

package/dist/model/linear-expr.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"linear-expr.js","sourceRoot":"","sources":["../../src/model/linear-expr.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC5C,OAAO,EACL,2BAA2B,GAE5B,MAAM,6BAA6B,CAAC;AAErC;;;GAGG;AACH,MAAM,OAAO,UAAU;IACrB,6CAA6C;IACpC,KAAK,CAA8B;IACnC,MAAM,CAAS;IAExB,YAAY,KAA0B,EAAE,MAAc;QACpD,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED,MAAM,CAAC,YAAY,CAAC,KAAsB;QACxC,OAAO,IAAI,UAAU,CAAC,IAAI,GAAG,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAClD,CAAC;IAED,MAAM,CAAC,YAAY,CAAC,QAAgB,EAAE,QAAgB,EAAE;QACtD,OAAO,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1D,CAAC;IAED,IAAI,CAAC,KAAmC;QACtC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC3D,OAAO,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1E,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrC,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YAC5C,MAAM,GAAG,GAAG,QAAQ,GAAG,KAAK,CAAC;YAC7B,IAAI,GAAG,KAAK,EAAE,EAAE,CAAC;gBACf,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;QACD,OAAO,IAAI,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC9D,CAAC;IAED,KAAK,CAAC,KAAmC;QACvC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC3D,OAAO,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1E,CAAC;QACD,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC;IAED,KAAK,CAAC,MAAuB;QAC3B,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QACzB,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;YACb,OAAO,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC3C,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACzC,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,IAAI,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACnD,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACxB,CAAC;IAED,oBAAoB;IACpB,MAAM,CAAC,KAAmC;QACxC,MAAM,GAAG,GAAG,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ;YAChE,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC7B,OAAO,IAAI,uBAAuB,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IACnD,CAAC;IAED,oBAAoB;IACpB,EAAE,CAAC,KAAmC;QACpC,MAAM,GAAG,GAAG,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ;YAChE,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC7B,OAAO,IAAI,uBAAuB,CAAC,IAAI,EAAE,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;IACnE,CAAC;IAED,oBAAoB;IACpB,EAAE,CAAC,KAAmC;QACpC,MAAM,GAAG,GAAG,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ;YAChE,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC7B,OAAO,IAAI,uBAAuB,CAAC,IAAI,EAAE,EAAE,EAAE,iBAAiB,CAAC,CAAC;IAClE,CAAC;IAED,mBAAmB;IACnB,EAAE,CAAC,KAAmC;QACpC,MAAM,GAAG,GAAG,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ;YAChE,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC7B,OAAO,IAAI,uBAAuB,CAAC,IAAI,EAAE,CAAC,iBAAiB,EAAE,CAAC,EAAE,CAAC,CAAC;IACpE,CAAC;IAED,mBAAmB;IACnB,EAAE,CAAC,KAAmC;QACpC,MAAM,GAAG,GAAG,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ;YAChE,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC7B,OAAO,IAAI,uBAAuB,CAAC,IAAI,EAAE,EAAE,EAAE,iBAAiB,CAAC,CAAC;IAClE,CAAC;IAED,OAAO;QACL,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACzC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAClB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;QACD,OAAO,MAAM,CAAC,2BAA2B,EAAE;YACzC,IAAI;YACJ,MAAM;YACN,MAAM,EAAE,IAAI,CAAC,MAAM;SACpB,CAAC,CAAC;IACL,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,OAAO,uBAAuB;IACzB,IAAI,CAAa;IACjB,EAAE,CAAS;IACX,EAAE,CAAS;IAEpB,YAAY,IAAgB,EAAE,EAAU,EAAE,EAAU;QAClD,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;IACf,CAAC;CACF;AAED,0FAA0F;AAC1F,MAAM,UAAU,YAAY,CAAC,KAAoE;IAC/F,IAAI,KAAK,YAAY,UAAU;QAAE,OAAO,KAAK,CAAC;IAC9C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,UAAU,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAClG,OAAO,KAAK,CAAC,YAAY,EAAE,CAAC;AAC9B,CAAC"}

package/dist/solver/cp-solver.d.ts

@@ -0,0 +1,36 @@
+import { CpSolverStatus, type CpSolverResponse } from '../generated/cp_model_pb.js';
+import type { CpModel } from '../model/cp-model.js';
+import type { IntVar } from '../model/int-var.js';
+export { CpSolverStatus };
+export interface CpSolverOptions {
+    /** Custom path resolver for the WASM binary */
+    locateFile?: (path: string) => string;
+}
+export interface SolverParams {
+    maxTimeInSeconds?: number;
+    numWorkers?: number;
+}
+export interface CpSolverResult {
+    status: CpSolverStatus;
+    objectiveValue: number;
+    bestObjectiveBound: number;
+    wallTime: number;
+    /** Get the value of a variable in the solution */
+    value(variable: IntVar): number;
+    /** Raw response proto */
+    response: CpSolverResponse;
+}
+/**
+ * Loads the WASM module and solves CP-SAT models.
+ *
+ * Usage:
+ *   const solver = await CpSolver.create();
+ *   const result = solver.solve(model);
+ */
+export declare class CpSolver {
+    private module;
+    private constructor();
+    static create(options?: CpSolverOptions): Promise<CpSolver>;
+    solve(model: CpModel, params?: SolverParams): CpSolverResult;
+}
+//# sourceMappingURL=cp-solver.d.ts.map