dabke 0.80.0 → 0.81.0

package/CHANGELOG.md

@@ -5,6 +5,53 @@ All notable changes to this project will be documented in this file.
 This changelog was generated from the git history of the project when it was
 named `scheduling-core`, prior to the rename to `dabke` in v0.78.0.
 
+## 0.81.0 (2026-02-19)
+
+### Breaking Changes
+
+- **Rename employee to member**: `SchedulingEmployee` is now `SchedulingMember`,
+  `employeeIds` scope fields are now `memberIds`, and `Employee` type alias is removed.
+  The `employee-assignment-priority` rule is renamed to `assignment-priority`.
+- **Rename roleIds/skillIds to roles/skills**: on `SchedulingMember`, `ShiftPattern`,
+  and all coverage requirement types. Scope fields on rules remain `roleIds`/`skillIds`.
+- **Merge ShiftPatternDef into ShiftPattern**: the separate `ShiftPatternDef` type is
+  removed. `ShiftPattern` now directly includes `startTime`, `endTime`, and optional
+  `roles`/`skills` fields.
+- **Flatten CpsatRuleConfigEntry**: rule config entries change from
+  `{ name, config: { ... } }` to `{ name, ...config }`. Config fields sit at the same
+  level as `name`. The type is now a distributive union preventing mismatched name/config
+  pairings at compile time.
+- **Rename daysOfWeek to dayOfWeek**: on `SchedulingPeriod`, `SemanticTimeVariant`,
+  and coverage requirement types.
+- **Remove v1-only exports**: `Employee`, `ShiftPatternDef`, `defineSemanticTimes`,
+  and related types removed from the public API. Use `defineSchedule` instead.
+
+### Features
+
+- **defineSchedule API**: new primary API with composable factory functions (`time`,
+  `cover`, `shift`, rule helpers like `maxHoursPerWeek`, `timeOff`, etc.) for building
+  a complete scheduling configuration declaratively.
+- **Cost optimization**: base pay tracking (`HourlyPay`, `SalariedPay` on members),
+  cost minimization rule (`minimize-cost`), day/time cost surcharges and multipliers,
+  and post-solve cost calculation.
+- **Overtime rules**: daily and weekly overtime multipliers and surcharges,
+  tiered overtime multiplier for graduated rates.
+- **Variant coverage**: day-specific count overrides on coverage requirements
+  via `countByDay` on the `cover()` helper.
+
+### Fixes
+
+- Clean up stale solver containers on startup in the test harness.
+- Strip all entity-scope fields consistently during scope resolution.
+
+### Improvements
+
+- Simplify rule translation layer; rule-specific knowledge (schemas, defaults,
+  validation, cost) is co-located in each rule file.
+- Rewrite llms.txt generator as whitelist-based, aligned with the v2 API.
+- Enrich TSDoc throughout: schedule.ts, semantic-time.ts, coverage types,
+  and package-level documentation updated for the defineSchedule API.
+
 ## 0.80.0 (2026-02-14)
 
 ### Breaking Changes

package/README.md

@@ -179,12 +179,12 @@ const times = defineSemanticTimes({
     {
       startTime: { hours: 11, minutes: 30 },
       endTime: { hours: 14 },
-      days: ["monday", "tuesday", "wednesday", "thursday", "friday"],
+      dayOfWeek: ["monday", "tuesday", "wednesday", "thursday", "friday"],
     },
     {
       startTime: { hours: 12 },
       endTime: { hours: 15 },
-      days: ["saturday", "sunday"],
+      dayOfWeek: ["saturday", "sunday"],
     },
   ],
   closing: { startTime: { hours: 21 }, endTime: { hours: 23 } },

package/dist/cpsat/cost.d.ts

@@ -0,0 +1,65 @@
+import type { ShiftAssignment } from "./response.js";
+import type { SchedulingMember, ShiftPattern } from "./types.js";
+import type { CompilationRule } from "./model-builder.js";
+/**
+ * Well-known cost categories used by built-in rules.
+ *
+ * Custom rules can use any string as a category. These constants
+ * are provided for convenience and consistency.
+ */
+export declare const COST_CATEGORY: {
+    /** Base pay cost (from {@link minimizeCost}). */
+    readonly BASE: "base";
+    /** Overtime cost (from overtime rules). */
+    readonly OVERTIME: "overtime";
+    /** Premium cost (from day/time multipliers and surcharges). */
+    readonly PREMIUM: "premium";
+};
+/**
+ * Per-member cost breakdown.
+ *
+ * Categories are open-ended strings. Built-in rules use categories
+ * from {@link COST_CATEGORY}. Custom rules can introduce their own.
+ */
+export interface MemberCostDetail {
+    /** Sum of all category costs. */
+    totalCost: number;
+    /** Total hours worked (computed from assignments, not from rules). */
+    totalHours: number;
+    /** Cost per category. Only categories with nonzero cost appear. */
+    categories: ReadonlyMap<string, number>;
+}
+/**
+ * Full cost breakdown for a solved schedule.
+ */
+export interface CostBreakdown {
+    /** Total cost in the caller's currency unit. */
+    total: number;
+    /** Cost per member. */
+    byMember: ReadonlyMap<string, MemberCostDetail>;
+    /** Cost per day. */
+    byDay: ReadonlyMap<string, number>;
+}
+/**
+ * Configuration accepted by {@link calculateScheduleCost}.
+ *
+ * In practice, callers pass the `ModelBuilderConfig` (which satisfies this)
+ * or the relevant subset.
+ */
+export interface CostCalculationConfig {
+    members: ReadonlyArray<SchedulingMember>;
+    shiftPatterns: ReadonlyArray<ShiftPattern>;
+    rules: ReadonlyArray<CompilationRule>;
+}
+/**
+ * Computes the actual cost of a solved schedule using the same cost model
+ * as the solver rules.
+ *
+ * Collects `CostEntry` values from all rules' `cost()` methods and
+ * aggregates them into a {@link CostBreakdown}.
+ *
+ * @param assignments - Shift assignments from {@link parseSolverResponse}
+ * @param config - Members, shift patterns, and compiled rules
+ */
+export declare function calculateScheduleCost(assignments: ShiftAssignment[], config: CostCalculationConfig): CostBreakdown;
+//# sourceMappingURL=cost.d.ts.map

package/dist/cpsat/cost.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cost.d.ts","sourceRoot":"","sources":["../../src/cpsat/cost.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,KAAK,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACjE,OAAO,KAAK,EAAE,eAAe,EAAa,MAAM,oBAAoB,CAAC;AAGrE;;;;;GAKG;AACH,eAAO,MAAM,aAAa;IACxB,iDAAiD;;IAEjD,2CAA2C;;IAE3C,+DAA+D;;CAEvD,CAAC;AAEX;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,iCAAiC;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,sEAAsE;IACtE,UAAU,EAAE,MAAM,CAAC;IACnB,mEAAmE;IACnE,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACzC;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,gDAAgD;IAChD,KAAK,EAAE,MAAM,CAAC;IACd,uBAAuB;IACvB,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAChD,oBAAoB;IACpB,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpC;AAED;;;;;GAKG;AACH,MAAM,WAAW,qBAAqB;IACpC,OAAO,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;IACzC,aAAa,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC;IAC3C,KAAK,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;CACvC;AAED;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CACnC,WAAW,EAAE,eAAe,EAAE,EAC9B,MAAM,EAAE,qBAAqB,GAC5B,aAAa,CAuDf"}

package/dist/cpsat/cost.js

@@ -0,0 +1,77 @@
+import { timeOfDayToMinutes, normalizeEndMinutes } from "./utils.js";
+/**
+ * Well-known cost categories used by built-in rules.
+ *
+ * Custom rules can use any string as a category. These constants
+ * are provided for convenience and consistency.
+ */
+export const COST_CATEGORY = {
+    /** Base pay cost (from {@link minimizeCost}). */
+    BASE: "base",
+    /** Overtime cost (from overtime rules). */
+    OVERTIME: "overtime",
+    /** Premium cost (from day/time multipliers and surcharges). */
+    PREMIUM: "premium",
+};
+/**
+ * Computes the actual cost of a solved schedule using the same cost model
+ * as the solver rules.
+ *
+ * Collects `CostEntry` values from all rules' `cost()` methods and
+ * aggregates them into a {@link CostBreakdown}.
+ *
+ * @param assignments - Shift assignments from {@link parseSolverResponse}
+ * @param config - Members, shift patterns, and compiled rules
+ */
+export function calculateScheduleCost(assignments, config) {
+    const { members, shiftPatterns, rules } = config;
+    // Collect all cost entries from rules
+    const allEntries = [];
+    for (const rule of rules) {
+        if (!rule.cost)
+            continue;
+        const contribution = rule.cost(assignments, members, shiftPatterns);
+        allEntries.push(...contribution.entries);
+    }
+    // Compute total hours per member from assignments
+    const patternMap = new Map(shiftPatterns.map((p) => [p.id, p]));
+    const memberHours = new Map();
+    for (const a of assignments) {
+        const pattern = patternMap.get(a.shiftPatternId);
+        if (!pattern)
+            continue;
+        const start = timeOfDayToMinutes(pattern.startTime);
+        const end = normalizeEndMinutes(start, timeOfDayToMinutes(pattern.endTime));
+        const hours = (end - start) / 60;
+        memberHours.set(a.memberId, (memberHours.get(a.memberId) ?? 0) + hours);
+    }
+    // Build per-member category maps
+    const memberCategories = new Map();
+    const dayTotals = new Map();
+    for (const entry of allEntries) {
+        // Per-member category accumulation
+        let categories = memberCategories.get(entry.memberId);
+        if (!categories) {
+            categories = new Map();
+            memberCategories.set(entry.memberId, categories);
+        }
+        categories.set(entry.category, (categories.get(entry.category) ?? 0) + entry.amount);
+        dayTotals.set(entry.day, (dayTotals.get(entry.day) ?? 0) + entry.amount);
+    }
+    let total = 0;
+    const byMember = new Map();
+    for (const [memberId, categories] of memberCategories) {
+        let totalCost = 0;
+        for (const amount of categories.values()) {
+            totalCost += amount;
+        }
+        total += totalCost;
+        byMember.set(memberId, {
+            totalCost,
+            totalHours: memberHours.get(memberId) ?? 0,
+            categories,
+        });
+    }
+    return { total, byMember, byDay: dayTotals };
+}
+//# sourceMappingURL=cost.js.map

package/dist/cpsat/cost.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cost.js","sourceRoot":"","sources":["../../src/cpsat/cost.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAErE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,iDAAiD;IACjD,IAAI,EAAE,MAAM;IACZ,2CAA2C;IAC3C,QAAQ,EAAE,UAAU;IACpB,+DAA+D;IAC/D,OAAO,EAAE,SAAS;CACV,CAAC;AAyCX;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CACnC,WAA8B,EAC9B,MAA6B;IAE7B,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IAEjD,sCAAsC;IACtC,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,SAAS;QACzB,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;QACpE,UAAU,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC;IAED,kDAAkD;IAClD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;QACjD,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,mBAAmB,CAAC,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;QAC5E,MAAM,KAAK,GAAG,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;QACjC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;IAC1E,CAAC;IAED,iCAAiC;IACjC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAA+B,CAAC;IAChE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE5C,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,mCAAmC;QACnC,IAAI,UAAU,GAAG,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACtD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,UAAU,GAAG,IAAI,GAAG,EAAE,CAAC;YACvB,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QACnD,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QAErF,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC3E,CAAC;IAED,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA4B,CAAC;IACrD,KAAK,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,gBAAgB,EAAE,CAAC;QACtD,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;YACzC,SAAS,IAAI,MAAM,CAAC;QACtB,CAAC;QACD,KAAK,IAAI,SAAS,CAAC;QACnB,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE;YACrB,SAAS;YACT,UAAU,EAAE,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC1C,UAAU;SACX,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC/C,CAAC"}

package/dist/cpsat/model-builder.d.ts

@@ -1,10 +1,10 @@
 import type { SolverRequest } from "../client.types.js";
 import type { DayOfWeek, SchedulingPeriod } from "../types.js";
-import type { CoverageRequirement, ModelBuilderOptions, ShiftPattern, SchedulingEmployee, Term } from "./types.js";
+import type { CoverageRequirement, ModelBuilderOptions, ShiftPattern, SchedulingMember, Term } from "./types.js";
 import type { CpsatRuleConfigEntry, CpsatRuleFactories } from "./rules/rules.types.js";
 import type { ValidationReporter } from "./validation-reporter.js";
 import type { ScheduleValidation } from "./validation.types.js";
-import type { ResolvedShiftAssignment } from "./response.js";
+import type { ShiftAssignment, ResolvedShiftAssignment } from "./response.js";
 /**
  * Builds a CP-SAT solver request from high-level scheduling constructs
  * (team, shift patterns, coverage, and rule compilers).
@@ -13,7 +13,7 @@ import type { ResolvedShiftAssignment } from "./response.js";
  * Context provided to rules during post-solve validation.
  */
 export interface RuleValidationContext {
-    readonly employees: SchedulingEmployee[];
+    readonly members: SchedulingMember[];
     readonly days: string[];
     readonly shiftPatterns: ShiftPattern[];
 }
@@ -29,6 +29,38 @@ export interface CompilationRule {
     compile(builder: ModelBuilder): void;
     /** Validate the solved schedule and report violations. */
     validate?(assignments: ResolvedShiftAssignment[], reporter: ValidationReporter, context: RuleValidationContext): void;
+    /** Compute cost contribution for a solved schedule. */
+    cost?(assignments: ShiftAssignment[], members: ReadonlyArray<SchedulingMember>, shiftPatterns: ReadonlyArray<ShiftPattern>): CostContribution;
+}
+/**
+ * Shared context for cost rules.
+ *
+ * Set by `minimizeCost()` during compilation, read by modifier rules.
+ * When undefined, modifier rules skip emitting solver terms.
+ */
+export interface CostContext {
+    /** Normalization divisor: max raw cost of any single assignment. */
+    normalizationFactor: number;
+    /** Whether minimizeCost() is active (modifier rules check this). */
+    active: boolean;
+}
+/**
+ * A cost entry produced by a rule's `cost()` method.
+ *
+ * The `category` is an open-ended string. Built-in rules use well-known
+ * categories from {@link COST_CATEGORY}. Custom rules can use any string.
+ */
+export interface CostEntry {
+    memberId: string;
+    day: string;
+    category: string;
+    amount: number;
+}
+/**
+ * Cost contribution from a single rule.
+ */
+export interface CostContribution {
+    entries: CostEntry[];
 }
 export interface CompilationResult {
     request: SolverRequest;
@@ -41,24 +73,24 @@ export interface CompilationResult {
  * @example Date range with day-of-week filtering (restaurant closed Mon/Tue)
  * ```typescript
  * const config: ModelBuilderConfig = {
- *   employees: [...],
+ *   members: [...],
  *   shiftPatterns: [...],
  *   coverage: [...],
  *   schedulingPeriod: {
  *     dateRange: { start: '2025-02-03', end: '2025-02-09' },
- *     daysOfWeek: ['wednesday', 'thursday', 'friday', 'saturday', 'sunday'],
+ *     dayOfWeek: ['wednesday', 'thursday', 'friday', 'saturday', 'sunday'],
  *   },
  * };
  * ```
  */
 export interface ModelBuilderConfig extends ModelBuilderOptions {
     /** Team members available for scheduling. */
-    employees: SchedulingEmployee[];
-    /** Available shift patterns (time slots) that employees can be assigned to. */
+    members: SchedulingMember[];
+    /** Available shift patterns (time slots) that members can be assigned to. */
     shiftPatterns: ShiftPattern[];
     /**
      * Defines when scheduling should occur as a date range with optional
-     * `daysOfWeek` and `dates` filters that compose to narrow which days are included.
+     * `dayOfWeek` and `dates` filters that compose to narrow which days are included.
      */
     schedulingPeriod: SchedulingPeriod;
     coverage: CoverageRequirement[];
@@ -85,7 +117,7 @@ export interface ModelBuilderConfig extends ModelBuilderOptions {
  */
 export declare class ModelBuilder {
     #private;
-    readonly employees: SchedulingEmployee[];
+    readonly members: SchedulingMember[];
     readonly shiftPatterns: ShiftPattern[];
     readonly days: string[];
     readonly coverage: CoverageRequirement[];
@@ -95,11 +127,13 @@ export declare class ModelBuilder {
     readonly coverageBucketMinutes: number;
     readonly reporter: ValidationReporter;
     readonly fairDistribution: boolean;
+    /** Shared context for cost rules. Set by minimizeCost(), read by modifiers. */
+    costContext: CostContext | undefined;
     constructor(config: ModelBuilderConfig);
     boolVar(name: string): string;
     intVar(name: string, min: number, max: number): string;
     shiftActive(patternId: string, day: string): string;
-    assignment(employeeId: string, patternId: string, day: string): string;
+    assignment(memberId: string, patternId: string, day: string): string;
     addLinear(terms: Term[], op: "<=" | ">=" | "==", rhs: number): void;
     addSoftLinear(terms: Term[], op: "<=" | ">=", rhs: number, penalty: number, id?: string): void;
     addExactlyOne(vars: string[]): void;
@@ -110,20 +144,20 @@ export declare class ModelBuilder {
     intervalVar(name: string, start: number, end: number, size: number, presenceVar?: string): string;
     addNoOverlap(intervals: string[]): void;
     addPenalty(varName: string, weight: number): void;
-    employeesWithRole(roleId: string): SchedulingEmployee[];
+    membersWithRole(roleId: string): SchedulingMember[];
     /**
      * Returns team members who can satisfy a coverage requirement.
      *
      * Matching logic:
-     * - If only roleId: must have that role
-     * - If only skillIds: must have ALL specified skills
-     * - If both: must have the role AND ALL specified skills
+     * - If only roles: must have ANY of those roles (OR)
+     * - If only skills: must have ALL specified skills (AND)
+     * - If both: must have a matching role AND ALL specified skills
      */
-    employeesForCoverage(cov: CoverageRequirement): SchedulingEmployee[];
-    canAssign(employee: SchedulingEmployee, pattern: ShiftPattern): boolean;
+    membersForCoverage(cov: CoverageRequirement): SchedulingMember[];
+    canAssign(member: SchedulingMember, pattern: ShiftPattern): boolean;
     /**
      * Checks if a shift pattern can be used on a specific day.
-     * Returns false if the pattern has daysOfWeek restrictions that exclude this day.
+     * Returns false if the pattern has dayOfWeek restrictions that exclude this day.
      */
     patternAvailableOnDay(pattern: ShiftPattern, day: string): boolean;
     patternDuration(patternId: string): number;

package/dist/cpsat/model-builder.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"model-builder.d.ts","sourceRoot":"","sources":["../../src/cpsat/model-builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAoB,aAAa,EAAkB,MAAM,oBAAoB,CAAC;AAC1F,OAAO,KAAK,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAU/D,OAAO,KAAK,EACV,mBAAmB,EACnB,mBAAmB,EACnB,YAAY,EACZ,kBAAkB,EAClB,IAAI,EACL,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAIvF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,EAAE,kBAAkB,EAAqB,MAAM,uBAAuB,CAAC;AACnF,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AAE7D;;;GAGG;AACH;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,SAAS,EAAE,kBAAkB,EAAE,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC;IACxB,QAAQ,CAAC,aAAa,EAAE,YAAY,EAAE,CAAC;CACxC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,eAAe;IAC9B,8DAA8D;IAC9D,OAAO,CAAC,OAAO,EAAE,YAAY,GAAG,IAAI,CAAC;IACrC,0DAA0D;IAC1D,QAAQ,CAAC,CACP,WAAW,EAAE,uBAAuB,EAAE,EACtC,QAAQ,EAAE,kBAAkB,EAC5B,OAAO,EAAE,qBAAqB,GAC7B,IAAI,CAAC;CACT;AAED,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,aAAa,CAAC;IACvB,UAAU,EAAE,kBAAkB,CAAC;IAC/B,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,kBAAmB,SAAQ,mBAAmB;IAC7D,6CAA6C;IAC7C,SAAS,EAAE,kBAAkB,EAAE,CAAC;IAChC,+EAA+E;IAC/E,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B;;;OAGG;IACH,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,QAAQ,EAAE,mBAAmB,EAAE,CAAC;IAChC;;OAEG;IACH,KAAK,CAAC,EAAE,eAAe,EAAE,CAAC;IAC1B;;OAEG;IACH,WAAW,CAAC,EAAE,oBAAoB,EAAE,CAAC;IACrC;;OAEG;IACH,aAAa,CAAC,EAAE,kBAAkB,CAAC;IACnC;;OAEG;IACH,QAAQ,CAAC,EAAE,kBAAkB,CAAC;CAC/B;AAED;;;GAGG;AACH,qBAAa,YAAY;;IACvB,QAAQ,CAAC,SAAS,EAAE,kBAAkB,EAAE,CAAC;IACzC,QAAQ,CAAC,aAAa,EAAE,YAAY,EAAE,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,EAAE,CAAC;IACzC,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,CAAC;IAClC,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,SAAS,CAAC,GAAG,SAAS,CAAC;IACvD,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;gBAUvB,MAAM,EAAE,kBAAkB;IA8CtC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAa7B,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAatD,WAAW,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAInD,UAAU,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAItE,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI;IAInE,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,GAAG,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI;IAI9F,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI;IAKnC,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI;IAKlC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI;IAKpD,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI;IAK/B,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI;IAKhC,WAAW,CACT,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,MAAM,EACZ,WAAW,CAAC,EAAE,MAAM,GACnB,MAAM;IA4BT,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,IAAI;IAKvC,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAKjD,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,kBAAkB,EAAE;IAIvD;;;;;;;OAOG;IACH,oBAAoB,CAAC,GAAG,EAAE,mBAAmB,GAAG,kBAAkB,EAAE;IAoBpE,SAAS,CAAC,QAAQ,EAAE,kBAAkB,EAAE,OAAO,EAAE,YAAY,GAAG,OAAO;IASvE;;;OAGG;IACH,qBAAqB,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO;IAWlE,eAAe,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM;IAS1C,YAAY,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAKxD,UAAU,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAOtD,OAAO,IAAI,iBAAiB;IA8X5B;;;OAGG;IACH,gBAAgB,CAAC,WAAW,EAAE,uBAAuB,EAAE,GAAG,IAAI;CA6B/D"}
+{"version":3,"file":"model-builder.d.ts","sourceRoot":"","sources":["../../src/cpsat/model-builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAoB,aAAa,EAAkB,MAAM,oBAAoB,CAAC;AAC1F,OAAO,KAAK,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAU/D,OAAO,KAAK,EACV,mBAAmB,EACnB,mBAAmB,EACnB,YAAY,EACZ,gBAAgB,EAChB,IAAI,EACL,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAIvF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,EAAE,kBAAkB,EAAqB,MAAM,uBAAuB,CAAC;AACnF,OAAO,KAAK,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AAE9E;;;GAGG;AACH;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,OAAO,EAAE,gBAAgB,EAAE,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC;IACxB,QAAQ,CAAC,aAAa,EAAE,YAAY,EAAE,CAAC;CACxC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,eAAe;IAC9B,8DAA8D;IAC9D,OAAO,CAAC,OAAO,EAAE,YAAY,GAAG,IAAI,CAAC;IACrC,0DAA0D;IAC1D,QAAQ,CAAC,CACP,WAAW,EAAE,uBAAuB,EAAE,EACtC,QAAQ,EAAE,kBAAkB,EAC5B,OAAO,EAAE,qBAAqB,GAC7B,IAAI,CAAC;IACR,uDAAuD;IACvD,IAAI,CAAC,CACH,WAAW,EAAE,eAAe,EAAE,EAC9B,OAAO,EAAE,aAAa,CAAC,gBAAgB,CAAC,EACxC,aAAa,EAAE,aAAa,CAAC,YAAY,CAAC,GACzC,gBAAgB,CAAC;CACrB;AAED;;;;;GAKG;AACH,MAAM,WAAW,WAAW;IAC1B,oEAAoE;IACpE,mBAAmB,EAAE,MAAM,CAAC;IAC5B,oEAAoE;IACpE,MAAM,EAAE,OAAO,CAAC;CACjB;AAED;;;;;GAKG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,SAAS,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,aAAa,CAAC;IACvB,UAAU,EAAE,kBAAkB,CAAC;IAC/B,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,kBAAmB,SAAQ,mBAAmB;IAC7D,6CAA6C;IAC7C,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,6EAA6E;IAC7E,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B;;;OAGG;IACH,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,QAAQ,EAAE,mBAAmB,EAAE,CAAC;IAChC;;OAEG;IACH,KAAK,CAAC,EAAE,eAAe,EAAE,CAAC;IAC1B;;OAEG;IACH,WAAW,CAAC,EAAE,oBAAoB,EAAE,CAAC;IACrC;;OAEG;IACH,aAAa,CAAC,EAAE,kBAAkB,CAAC;IACnC;;OAEG;IACH,QAAQ,CAAC,EAAE,kBAAkB,CAAC;CAC/B;AAED;;;GAGG;AACH,qBAAa,YAAY;;IACvB,QAAQ,CAAC,OAAO,EAAE,gBAAgB,EAAE,CAAC;IACrC,QAAQ,CAAC,aAAa,EAAE,YAAY,EAAE,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,EAAE,CAAC;IACzC,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,CAAC;IAClC,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,SAAS,CAAC,GAAG,SAAS,CAAC;IACvD,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IAEnC,+EAA+E;IAC/E,WAAW,EAAE,WAAW,GAAG,SAAS,CAAC;gBAUzB,MAAM,EAAE,kBAAkB;IA8CtC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAa7B,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAatD,WAAW,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAInD,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAIpE,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI;IAInE,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,GAAG,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI;IAI9F,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI;IAKnC,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI;IAKlC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI;IAKpD,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI;IAK/B,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI;IAKhC,WAAW,CACT,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,MAAM,EACZ,WAAW,CAAC,EAAE,MAAM,GACnB,MAAM;IA4BT,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,IAAI;IAKvC,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAOjD,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,gBAAgB,EAAE;IAInD;;;;;;;OAOG;IACH,kBAAkB,CAAC,GAAG,EAAE,mBAAmB,GAAG,gBAAgB,EAAE;IAkBhE,SAAS,CAAC,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE,YAAY,GAAG,OAAO;IAOnE;;;OAGG;IACH,qBAAqB,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO;IAWlE,eAAe,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM;IAS1C,YAAY,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAKxD,UAAU,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAOtD,OAAO,IAAI,iBAAiB;IA8X5B;;;OAGG;IACH,gBAAgB,CAAC,WAAW,EAAE,uBAAuB,EAAE,GAAG,IAAI;CA6B/D"}