dabke 0.78.0

package/dist/cpsat/semantic-time.d.ts

@@ -0,0 +1,198 @@
+import type { DayOfWeek, TimeOfDay } from "../types.js";
+import type { CoverageRequirement, Priority } from "./types.js";
+import { type GroupKey } from "./validation.types.js";
+/**
+ * Base definition for a semantic time period.
+ */
+export interface SemanticTimeDef {
+    startTime: TimeOfDay;
+    endTime: TimeOfDay;
+}
+/**
+ * Variant of a semantic time that applies to specific days or dates.
+ */
+export interface SemanticTimeVariant extends SemanticTimeDef {
+    /** Apply this variant only on these days of the week */
+    days?: DayOfWeek[];
+    /** Apply this variant only on these specific dates (YYYY-MM-DD) */
+    dates?: string[];
+}
+/**
+ * A semantic time can be a simple definition (applies every day)
+ * or an array of variants with different times for different days/dates.
+ */
+export type SemanticTimeEntry = SemanticTimeDef | SemanticTimeVariant[];
+/**
+ * Base fields shared by semantic coverage requirement variants.
+ */
+interface SemanticCoverageRequirementBase<S extends string> {
+    semanticTime: S;
+    targetCount: number;
+    priority?: Priority;
+    /** Scope this requirement to specific days of the week */
+    days?: DayOfWeek[];
+    /** Scope this requirement to specific dates (YYYY-MM-DD) */
+    dates?: string[];
+    /**
+     * Override the auto-generated group key for validation reporting.
+     * If not provided, a key is auto-generated from the semantic time name,
+     * role/skills, and target count.
+     */
+    groupKey?: GroupKey;
+}
+/**
+ * Semantic coverage requiring specific roles, optionally filtered by skills.
+ */
+interface RoleBasedSemanticCoverageRequirement<S extends string> extends SemanticCoverageRequirementBase<S> {
+    /**
+     * Roles that satisfy this coverage (OR logic).
+     * Must have at least one role.
+     */
+    roleIds: [string, ...string[]];
+    /**
+     * Additional skill filter (AND logic with roles).
+     */
+    skillIds?: [string, ...string[]];
+}
+/**
+ * Semantic coverage requiring specific skills only (any role).
+ */
+interface SkillBasedSemanticCoverageRequirement<S extends string> extends SemanticCoverageRequirementBase<S> {
+    roleIds?: never;
+    /**
+     * Skills required (ALL required, AND logic).
+     * Must have at least one skill.
+     */
+    skillIds: [string, ...string[]];
+}
+/**
+ * Coverage requirement that references a semantic time by name.
+ * Type-safe: S is constrained to known semantic time names.
+ *
+ * This is a discriminated union enforcing at compile time that at least
+ * one of `roleIds` or `skillIds` must be provided.
+ */
+export type SemanticCoverageRequirement<S extends string> = RoleBasedSemanticCoverageRequirement<S> | SkillBasedSemanticCoverageRequirement<S>;
+/**
+ * Base fields shared by concrete coverage requirement variants.
+ */
+interface ConcreteCoverageRequirementBase {
+    day: string;
+    startTime: TimeOfDay;
+    endTime: TimeOfDay;
+    targetCount: number;
+    priority?: Priority;
+    /**
+     * Override the auto-generated group key for validation reporting.
+     * If not provided, a key is auto-generated from the day, time range,
+     * role/skills, and target count.
+     */
+    groupKey?: GroupKey;
+}
+/**
+ * Concrete coverage requiring specific roles, optionally filtered by skills.
+ */
+interface RoleBasedConcreteCoverageRequirement extends ConcreteCoverageRequirementBase {
+    /**
+     * Roles that satisfy this coverage (OR logic).
+     * Must have at least one role.
+     */
+    roleIds: [string, ...string[]];
+    /**
+     * Additional skill filter (AND logic with roles).
+     */
+    skillIds?: [string, ...string[]];
+}
+/**
+ * Concrete coverage requiring specific skills only (any role).
+ */
+interface SkillBasedConcreteCoverageRequirement extends ConcreteCoverageRequirementBase {
+    roleIds?: never;
+    /**
+     * Skills required (ALL required, AND logic).
+     * Must have at least one skill.
+     */
+    skillIds: [string, ...string[]];
+}
+/**
+ * Concrete coverage requirement with explicit day and times.
+ * Used for one-off requirements that don't fit a semantic time.
+ *
+ * This is a discriminated union enforcing at compile time that at least
+ * one of `roleIds` or `skillIds` must be provided.
+ */
+export type ConcreteCoverageRequirement = RoleBasedConcreteCoverageRequirement | SkillBasedConcreteCoverageRequirement;
+/**
+ * Union type for coverage - either semantic (type-safe) or concrete.
+ */
+export type MixedCoverageRequirement<S extends string> = SemanticCoverageRequirement<S> | ConcreteCoverageRequirement;
+/**
+ * Type guard to check if a requirement is concrete (has explicit day/times).
+ */
+export declare function isConcreteCoverage<S extends string>(req: MixedCoverageRequirement<S>): req is ConcreteCoverageRequirement;
+/**
+ * Type guard to check if a requirement is semantic (references a named time).
+ */
+export declare function isSemanticCoverage<S extends string>(req: MixedCoverageRequirement<S>): req is SemanticCoverageRequirement<S>;
+/**
+ * Result of defineSemanticTimes - provides type-safe coverage function.
+ */
+export interface SemanticTimeContext<S extends string> {
+    /** The semantic time definitions */
+    readonly defs: Record<S, SemanticTimeEntry>;
+    /**
+     * Create coverage requirements with type-safe semantic time names.
+     * Accepts both semantic references and concrete one-off requirements.
+     */
+    coverage(reqs: MixedCoverageRequirement<S>[]): MixedCoverageRequirement<S>[];
+    /**
+     * Resolve all coverage requirements to concrete CoverageRequirement[]
+     * for the given days in the scheduling horizon.
+     */
+    resolve(reqs: MixedCoverageRequirement<S>[], days: string[]): CoverageRequirement[];
+}
+/**
+ * Define semantic times with type-safe names.
+ *
+ * Returns a context object that provides:
+ * - Type-safe coverage() function that only accepts defined semantic time names
+ * - resolve() function to expand semantic times to concrete requirements
+ *
+ * @example Basic usage
+ * ```typescript
+ * const times = defineSemanticTimes({
+ *   opening: { startTime: { hours: 6 }, endTime: { hours: 8 } },
+ *   lunch: { startTime: { hours: 11, minutes: 30 }, endTime: { hours: 14 } },
+ *   closing: { startTime: { hours: 21 }, endTime: { hours: 23 } },
+ * });
+ *
+ * const coverage = times.coverage([
+ *   { semanticTime: "lunch", roleId: "server", targetCount: 3 },
+ *   { semanticTime: "opening", roleId: "keyholder", targetCount: 1, priority: "MANDATORY" },
+ *   // Type error: "dinner" is not a defined semantic time
+ *   // { semanticTime: "dinner", roleId: "server", targetCount: 2 },
+ * ]);
+ * ```
+ *
+ * @example Variants for different days
+ * ```typescript
+ * const times = defineSemanticTimes({
+ *   lunch: [
+ *     { startTime: { hours: 11, minutes: 30 }, endTime: { hours: 14 }, days: ["monday", "tuesday", "wednesday", "thursday", "friday"] },
+ *     { startTime: { hours: 12 }, endTime: { hours: 15 }, days: ["saturday", "sunday"] },
+ *   ],
+ * });
+ * ```
+ *
+ * @example Mixed semantic and concrete coverage
+ * ```typescript
+ * const coverage = times.coverage([
+ *   { semanticTime: "lunch", roleId: "server", targetCount: 3 },
+ *   // One-off party - concrete time
+ *   { day: "2026-01-14", startTime: { hours: 15 }, endTime: { hours: 20 }, roleId: "server", targetCount: 5 },
+ * ]);
+ * ```
+ */
+export declare function defineSemanticTimes<const T extends Record<string, SemanticTimeEntry>>(defs: T): SemanticTimeContext<keyof T & string>;
+export {};
+//# sourceMappingURL=semantic-time.d.ts.map

package/dist/cpsat/semantic-time.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-time.d.ts","sourceRoot":"","sources":["../../src/cpsat/semantic-time.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAGxD,OAAO,KAAK,EAAE,mBAAmB,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAChE,OAAO,EAAY,KAAK,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAEhE;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,SAAS,CAAC;IACrB,OAAO,EAAE,SAAS,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAoB,SAAQ,eAAe;IAC1D,wDAAwD;IACxD,IAAI,CAAC,EAAE,SAAS,EAAE,CAAC;IACnB,mEAAmE;IACnE,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;CAClB;AAED;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG,eAAe,GAAG,mBAAmB,EAAE,CAAC;AAExE;;GAEG;AACH,UAAU,+BAA+B,CAAC,CAAC,SAAS,MAAM;IACxD,YAAY,EAAE,CAAC,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,0DAA0D;IAC1D,IAAI,CAAC,EAAE,SAAS,EAAE,CAAC;IACnB,4DAA4D;IAC5D,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,QAAQ,CAAC;CACrB;AAED;;GAEG;AACH,UAAU,oCAAoC,CAAC,CAAC,SAAS,MAAM,CAC7D,SAAQ,+BAA+B,CAAC,CAAC,CAAC;IAC1C;;;OAGG;IACH,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;IAC/B;;OAEG;IACH,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;CAClC;AAED;;GAEG;AACH,UAAU,qCAAqC,CAAC,CAAC,SAAS,MAAM,CAC9D,SAAQ,+BAA+B,CAAC,CAAC,CAAC;IAC1C,OAAO,CAAC,EAAE,KAAK,CAAC;IAChB;;;OAGG;IACH,QAAQ,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;CACjC;AAED;;;;;;GAMG;AACH,MAAM,MAAM,2BAA2B,CAAC,CAAC,SAAS,MAAM,IACpD,oCAAoC,CAAC,CAAC,CAAC,GACvC,qCAAqC,CAAC,CAAC,CAAC,CAAC;AAE7C;;GAEG;AACH,UAAU,+BAA+B;IACvC,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,EAAE,SAAS,CAAC;IACrB,OAAO,EAAE,SAAS,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,QAAQ,CAAC;CACrB;AAED;;GAEG;AACH,UAAU,oCAAqC,SAAQ,+BAA+B;IACpF;;;OAGG;IACH,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;IAC/B;;OAEG;IACH,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;CAClC;AAED;;GAEG;AACH,UAAU,qCAAsC,SAAQ,+BAA+B;IACrF,OAAO,CAAC,EAAE,KAAK,CAAC;IAChB;;;OAGG;IACH,QAAQ,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;CACjC;AAED;;;;;;GAMG;AACH,MAAM,MAAM,2BAA2B,GACnC,oCAAoC,GACpC,qCAAqC,CAAC;AAE1C;;GAEG;AACH,MAAM,MAAM,wBAAwB,CAAC,CAAC,SAAS,MAAM,IACjD,2BAA2B,CAAC,CAAC,CAAC,GAC9B,2BAA2B,CAAC;AAEhC;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,MAAM,EACjD,GAAG,EAAE,wBAAwB,CAAC,CAAC,CAAC,GAC/B,GAAG,IAAI,2BAA2B,CAEpC;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,MAAM,EACjD,GAAG,EAAE,wBAAwB,CAAC,CAAC,CAAC,GAC/B,GAAG,IAAI,2BAA2B,CAAC,CAAC,CAAC,CAEvC;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB,CAAC,CAAC,SAAS,MAAM;IACnD,oCAAoC;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC;IAE5C;;;OAGG;IACH,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC,CAAC,EAAE,GAAG,wBAAwB,CAAC,CAAC,CAAC,EAAE,CAAC;IAE7E;;;OAGG;IACH,OAAO,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,mBAAmB,EAAE,CAAC;CACrF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,EACnF,IAAI,EAAE,CAAC,GACN,mBAAmB,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAcvC"}

package/dist/cpsat/semantic-time.js

@@ -0,0 +1,222 @@
+import { toDayOfWeekUTC } from "../datetime.utils.js";
+import { parseDayString } from "./utils.js";
+import { groupKey } from "./validation.types.js";
+/**
+ * Type guard to check if a requirement is concrete (has explicit day/times).
+ */
+export function isConcreteCoverage(req) {
+    return "day" in req && "startTime" in req && "endTime" in req;
+}
+/**
+ * Type guard to check if a requirement is semantic (references a named time).
+ */
+export function isSemanticCoverage(req) {
+    return "semanticTime" in req;
+}
+/**
+ * Define semantic times with type-safe names.
+ *
+ * Returns a context object that provides:
+ * - Type-safe coverage() function that only accepts defined semantic time names
+ * - resolve() function to expand semantic times to concrete requirements
+ *
+ * @example Basic usage
+ * ```typescript
+ * const times = defineSemanticTimes({
+ *   opening: { startTime: { hours: 6 }, endTime: { hours: 8 } },
+ *   lunch: { startTime: { hours: 11, minutes: 30 }, endTime: { hours: 14 } },
+ *   closing: { startTime: { hours: 21 }, endTime: { hours: 23 } },
+ * });
+ *
+ * const coverage = times.coverage([
+ *   { semanticTime: "lunch", roleId: "server", targetCount: 3 },
+ *   { semanticTime: "opening", roleId: "keyholder", targetCount: 1, priority: "MANDATORY" },
+ *   // Type error: "dinner" is not a defined semantic time
+ *   // { semanticTime: "dinner", roleId: "server", targetCount: 2 },
+ * ]);
+ * ```
+ *
+ * @example Variants for different days
+ * ```typescript
+ * const times = defineSemanticTimes({
+ *   lunch: [
+ *     { startTime: { hours: 11, minutes: 30 }, endTime: { hours: 14 }, days: ["monday", "tuesday", "wednesday", "thursday", "friday"] },
+ *     { startTime: { hours: 12 }, endTime: { hours: 15 }, days: ["saturday", "sunday"] },
+ *   ],
+ * });
+ * ```
+ *
+ * @example Mixed semantic and concrete coverage
+ * ```typescript
+ * const coverage = times.coverage([
+ *   { semanticTime: "lunch", roleId: "server", targetCount: 3 },
+ *   // One-off party - concrete time
+ *   { day: "2026-01-14", startTime: { hours: 15 }, endTime: { hours: 20 }, roleId: "server", targetCount: 5 },
+ * ]);
+ * ```
+ */
+export function defineSemanticTimes(defs) {
+    return {
+        defs: defs,
+        coverage(reqs) {
+            return reqs;
+        },
+        resolve(reqs, days) {
+            return resolveSemanticCoverage(defs, reqs, days);
+        },
+    };
+}
+/**
+ * Build a CoverageRequirement from resolved fields.
+ * Handles the discriminated union by checking which variant to construct.
+ */
+function buildCoverageRequirement(day, startTime, endTime, roleIds, skillIds, targetCount, priority, gKey) {
+    const base = { day, startTime, endTime, targetCount, priority, groupKey: gKey };
+    if (roleIds && roleIds.length > 0) {
+        // Role-based (with optional skills)
+        return skillIds && skillIds.length > 0
+            ? { ...base, roleIds, skillIds }
+            : { ...base, roleIds };
+    }
+    else if (skillIds && skillIds.length > 0) {
+        // Skill-only
+        return { ...base, skillIds };
+    }
+    // This shouldn't happen if input types are correct, but handle gracefully
+    throw new Error(`Coverage requirement for day "${day}" must have at least one of roleIds or skillIds`);
+}
+/**
+ * Resolve semantic coverage requirements to concrete requirements.
+ * Internal implementation.
+ */
+function resolveSemanticCoverage(defs, reqs, days) {
+    const result = [];
+    const daySet = new Set(days);
+    for (const req of reqs) {
+        if (isConcreteCoverage(req)) {
+            // Concrete requirement - pass through if day is in horizon
+            if (daySet.has(req.day)) {
+                const autoGroupKey = generateConcreteGroupKey(req);
+                result.push(buildCoverageRequirement(req.day, req.startTime, req.endTime, req.roleIds, req.skillIds, req.targetCount, req.priority ?? "MANDATORY", req.groupKey ?? autoGroupKey));
+            }
+        }
+        else {
+            // Semantic requirement - resolve for each applicable day
+            const entry = defs[req.semanticTime];
+            if (!entry) {
+                throw new Error(`Unknown semantic time: ${req.semanticTime}`);
+            }
+            const autoGroupKey = generateSemanticGroupKey(req);
+            const applicableDays = filterDays(days, req.days, req.dates);
+            for (const day of applicableDays) {
+                const resolved = resolveTimeForDay(entry, day);
+                if (resolved) {
+                    result.push(buildCoverageRequirement(day, resolved.startTime, resolved.endTime, req.roleIds, req.skillIds, req.targetCount, req.priority ?? "MANDATORY", req.groupKey ?? autoGroupKey));
+                }
+            }
+        }
+    }
+    return result;
+}
+/**
+ * Generates a human-readable group key for a semantic coverage requirement.
+ * Format: "{count}x {role/skills} during {semanticTime}" with optional scope
+ */
+function generateSemanticGroupKey(req) {
+    const roleOrSkills = req.roleIds?.join("/") ?? req.skillIds?.join("+") ?? "staff";
+    const base = `${req.targetCount}x ${roleOrSkills} during ${req.semanticTime}`;
+    // Add scope qualifier if scoped to specific days
+    if (req.days && req.days.length > 0 && req.days.length < 7) {
+        return groupKey(`${base} (${formatDaysScope(req.days)})`);
+    }
+    if (req.dates && req.dates.length > 0) {
+        return groupKey(`${base} (specific dates)`);
+    }
+    return groupKey(base);
+}
+/**
+ * Generates a human-readable group key for a concrete coverage requirement.
+ * Format: "{count}x {role/skills} on {day} {time}"
+ */
+function generateConcreteGroupKey(req) {
+    const roleOrSkills = req.roleIds?.join("/") ?? req.skillIds?.join("+") ?? "staff";
+    const timeRange = `${formatTime(req.startTime)}-${formatTime(req.endTime)}`;
+    return groupKey(`${req.targetCount}x ${roleOrSkills} on ${req.day} ${timeRange}`);
+}
+/**
+ * Formats days of week for display in group keys.
+ */
+function formatDaysScope(days) {
+    if (days.length === 0)
+        return "";
+    if (days.length === 1)
+        return days[0];
+    // Check for common patterns
+    const weekdays = ["monday", "tuesday", "wednesday", "thursday", "friday"];
+    const weekend = ["saturday", "sunday"];
+    const sorted = [...days].sort((a, b) => weekdays.indexOf(a) - weekdays.indexOf(b));
+    if (sorted.length === 5 && weekdays.every((d) => sorted.includes(d))) {
+        return "weekdays";
+    }
+    if (sorted.length === 2 && weekend.every((d) => sorted.includes(d))) {
+        return "weekends";
+    }
+    // Abbreviate day names
+    return sorted.map((d) => d.slice(0, 3)).join(", ");
+}
+/**
+ * Formats a TimeOfDay for display.
+ */
+function formatTime(time) {
+    const hours = String(time.hours).padStart(2, "0");
+    const minutes = String(time.minutes).padStart(2, "0");
+    return `${hours}:${minutes}`;
+}
+/**
+ * Filter days based on optional day-of-week and specific date constraints.
+ */
+function filterDays(allDays, daysOfWeek, specificDates) {
+    let result = allDays;
+    if (specificDates && specificDates.length > 0) {
+        // If specific dates are provided, use only those (intersection with allDays)
+        const dateSet = new Set(specificDates);
+        result = result.filter((d) => dateSet.has(d));
+    }
+    else if (daysOfWeek && daysOfWeek.length > 0) {
+        // Filter by day of week
+        const daySet = new Set(daysOfWeek);
+        result = result.filter((d) => daySet.has(toDayOfWeekUTC(parseDayString(d))));
+    }
+    return result;
+}
+/**
+ * Resolve the time definition for a specific day.
+ * Returns the most specific match: date-specific > day-of-week > default.
+ */
+function resolveTimeForDay(entry, day) {
+    // Simple definition - applies to all days
+    if (!Array.isArray(entry)) {
+        return entry;
+    }
+    const date = parseDayString(day);
+    const dayOfWeek = toDayOfWeekUTC(date);
+    // Find best match: date-specific first, then day-of-week, then default
+    let dateMatch = null;
+    let dowMatch = null;
+    let defaultMatch = null;
+    for (const variant of entry) {
+        if (variant.dates && variant.dates.includes(day)) {
+            dateMatch = variant;
+            break; // Date-specific is most specific
+        }
+        if (variant.days && variant.days.includes(dayOfWeek)) {
+            dowMatch = variant;
+        }
+        if (!variant.dates && !variant.days) {
+            defaultMatch = variant;
+        }
+    }
+    const match = dateMatch ?? dowMatch ?? defaultMatch;
+    return match ?? null;
+}
+//# sourceMappingURL=semantic-time.js.map

package/dist/cpsat/semantic-time.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-time.js","sourceRoot":"","sources":["../../src/cpsat/semantic-time.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE5C,OAAO,EAAE,QAAQ,EAAiB,MAAM,uBAAuB,CAAC;AAmJhE;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAChC,GAAgC;IAEhC,OAAO,KAAK,IAAI,GAAG,IAAI,WAAW,IAAI,GAAG,IAAI,SAAS,IAAI,GAAG,CAAC;AAChE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAChC,GAAgC;IAEhC,OAAO,cAAc,IAAI,GAAG,CAAC;AAC/B,CAAC;AAsBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAO;IAIP,OAAO;QACL,IAAI,EAAE,IAAoC;QAE1C,QAAQ,CAAC,IAAmC;YAC1C,OAAO,IAAI,CAAC;QACd,CAAC;QAED,OAAO,CAAC,IAAmC,EAAE,IAAc;YACzD,OAAO,uBAAuB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACnD,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,wBAAwB,CAC/B,GAAW,EACX,SAAoB,EACpB,OAAkB,EAClB,OAA0C,EAC1C,QAA2C,EAC3C,WAAmB,EACnB,QAAkB,EAClB,IAAc;IAEd,MAAM,IAAI,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAEhF,IAAI,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,oCAAoC;QACpC,OAAO,QAAQ,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;YACpC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE;YAChC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,CAAC;IAC3B,CAAC;SAAM,IAAI,QAAQ,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,aAAa;QACb,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC/B,CAAC;IAED,0EAA0E;IAC1E,MAAM,IAAI,KAAK,CACb,iCAAiC,GAAG,iDAAiD,CACtF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,uBAAuB,CAC9B,IAAkC,EAClC,IAAmC,EACnC,IAAc;IAEd,MAAM,MAAM,GAA0B,EAAE,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAE7B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,2DAA2D;YAC3D,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACxB,MAAM,YAAY,GAAG,wBAAwB,CAAC,GAAG,CAAC,CAAC;gBACnD,MAAM,CAAC,IAAI,CACT,wBAAwB,CACtB,GAAG,CAAC,GAAG,EACP,GAAG,CAAC,SAAS,EACb,GAAG,CAAC,OAAO,EACX,GAAG,CAAC,OAAO,EACX,GAAG,CAAC,QAAQ,EACZ,GAAG,CAAC,WAAW,EACf,GAAG,CAAC,QAAQ,IAAI,WAAW,EAC3B,GAAG,CAAC,QAAQ,IAAI,YAAY,CAC7B,CACF,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,CAAC;YACN,yDAAyD;YACzD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YACrC,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,MAAM,IAAI,KAAK,CAAC,0BAA0B,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC;YAChE,CAAC;YAED,MAAM,YAAY,GAAG,wBAAwB,CAAC,GAAG,CAAC,CAAC;YACnD,MAAM,cAAc,GAAG,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;YAE7D,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;gBACjC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAC/C,IAAI,QAAQ,EAAE,CAAC;oBACb,MAAM,CAAC,IAAI,CACT,wBAAwB,CACtB,GAAG,EACH,QAAQ,CAAC,SAAS,EAClB,QAAQ,CAAC,OAAO,EAChB,GAAG,CAAC,OAAO,EACX,GAAG,CAAC,QAAQ,EACZ,GAAG,CAAC,WAAW,EACf,GAAG,CAAC,QAAQ,IAAI,WAAW,EAC3B,GAAG,CAAC,QAAQ,IAAI,YAAY,CAC7B,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,SAAS,wBAAwB,CAAmB,GAAmC;IACrF,MAAM,YAAY,GAAG,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC;IAClF,MAAM,IAAI,GAAG,GAAG,GAAG,CAAC,WAAW,KAAK,YAAY,WAAW,GAAG,CAAC,YAAY,EAAE,CAAC;IAE9E,iDAAiD;IACjD,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3D,OAAO,QAAQ,CAAC,GAAG,IAAI,KAAK,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,OAAO,QAAQ,CAAC,GAAG,IAAI,mBAAmB,CAAC,CAAC;IAC9C,CAAC;IAED,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC;AAED;;;GAGG;AACH,SAAS,wBAAwB,CAAC,GAAgC;IAChE,MAAM,YAAY,GAAG,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC;IAClF,MAAM,SAAS,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;IAC5E,OAAO,QAAQ,CAAC,GAAG,GAAG,CAAC,WAAW,KAAK,YAAY,OAAO,GAAG,CAAC,GAAG,IAAI,SAAS,EAAE,CAAC,CAAC;AACpF,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,IAAiB;IACxC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,CAAE,CAAC;IAEvC,4BAA4B;IAC5B,MAAM,QAAQ,GAAG,CAAC,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC1E,MAAM,OAAO,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAEvC,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAEnF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAc,CAAC,CAAC,EAAE,CAAC;QAClF,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAc,CAAC,CAAC,EAAE,CAAC;QACjF,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,uBAAuB;IACvB,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACrD,CAAC;AAED;;GAEG;AACH,SAAS,UAAU,CAAC,IAAe;IACjC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACtD,OAAO,GAAG,KAAK,IAAI,OAAO,EAAE,CAAC;AAC/B,CAAC;AAED;;GAEG;AACH,SAAS,UAAU,CACjB,OAAiB,EACjB,UAAwB,EACxB,aAAwB;IAExB,IAAI,MAAM,GAAG,OAAO,CAAC;IAErB,IAAI,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,6EAA6E;QAC7E,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;QACvC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC;SAAM,IAAI,UAAU,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/C,wBAAwB;QACxB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;QACnC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CAAC,KAAwB,EAAE,GAAW;IAC9D,0CAA0C;IAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IAEvC,uEAAuE;IACvE,IAAI,SAAS,GAA+B,IAAI,CAAC;IACjD,IAAI,QAAQ,GAA+B,IAAI,CAAC;IAChD,IAAI,YAAY,GAA+B,IAAI,CAAC;IAEpD,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;QAC5B,IAAI,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACjD,SAAS,GAAG,OAAO,CAAC;YACpB,MAAM,CAAC,iCAAiC;QAC1C,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YACrD,QAAQ,GAAG,OAAO,CAAC;QACrB,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YACpC,YAAY,GAAG,OAAO,CAAC;QACzB,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,SAAS,IAAI,QAAQ,IAAI,YAAY,CAAC;IACpD,OAAO,KAAK,IAAI,IAAI,CAAC;AACvB,CAAC"}

package/dist/cpsat/types.d.ts

@@ -0,0 +1,180 @@
+import type { TimeOfDay, DayOfWeek } from "../types.js";
+import type { SolverRequest, SolverTerm } from "../client.types.js";
+import type { GroupKey } from "./validation.types.js";
+export type Priority = "LOW" | "MEDIUM" | "HIGH" | "MANDATORY";
+export interface SchedulingEmployee {
+    id: string;
+    roleIds: string[];
+    skillIds?: string[];
+}
+/**
+ * @deprecated Use SchedulingEmployee instead. This alias exists for backwards compatibility.
+ */
+export type Employee = SchedulingEmployee;
+/**
+ * A shift pattern defines WHEN people can work — the time slots available for assignment.
+ *
+ * Shift patterns are templates that repeat across all scheduling days. The solver assigns
+ * team members to these patterns based on coverage requirements and constraints.
+ *
+ * @example
+ * // Simple venue: one shift type, anyone can work it
+ * const patterns: ShiftPattern[] = [
+ *   { id: "day", startTime: { hours: 9 }, endTime: { hours: 17 } }
+ * ];
+ *
+ * @example
+ * // Restaurant: different shifts for different roles
+ * const patterns: ShiftPattern[] = [
+ *   { id: "kitchen_morning", startTime: { hours: 6 }, endTime: { hours: 14 }, roleIds: ["chef", "prep_cook"] },
+ *   { id: "floor_lunch", startTime: { hours: 11 }, endTime: { hours: 15 }, roleIds: ["waiter", "host"] },
+ * ];
+ */
+export interface ShiftPattern {
+    /**
+     * Unique identifier for this shift pattern.
+     * Used in assignments and rule configurations.
+     */
+    id: string;
+    /**
+     * Restricts who can be assigned to this shift based on their roles.
+     *
+     * - If omitted: anyone can work this shift
+     * - If provided: only team members whose roleIds overlap with this list can be assigned
+     *
+     * Most venues have the same shifts for everyone and don't need this.
+     * Use it when different roles have different schedules (e.g., kitchen staff starts
+     * earlier than floor staff).
+     */
+    roleIds?: [string, ...string[]];
+    /**
+     * Restricts which days of the week this shift pattern can be used.
+     *
+     * - If omitted: shift can be used on any day
+     * - If provided: shift can only be assigned on the specified days
+     *
+     * @example
+     * ```typescript
+     * // Saturday-only short shift
+     * { id: "saturday_shift", startTime: t(9), endTime: t(14), daysOfWeek: ["saturday"] }
+     *
+     * // Weekday-only full shift
+     * { id: "full_shift", startTime: t(9), endTime: t(18), daysOfWeek: ["monday", "tuesday", "wednesday", "thursday", "friday"] }
+     * ```
+     */
+    daysOfWeek?: DayOfWeek[];
+    /**
+     * Physical location where this shift takes place.
+     * Used for multi-location scheduling and location-based constraints.
+     */
+    locationId?: string;
+    /** When the shift starts (e.g., { hours: 9, minutes: 0 } for 9:00 AM) */
+    startTime: TimeOfDay;
+    /** When the shift ends (e.g., { hours: 17, minutes: 30 } for 5:30 PM) */
+    endTime: TimeOfDay;
+}
+export interface TimeInterval {
+    day: string;
+    startTime: TimeOfDay;
+    endTime: TimeOfDay;
+}
+/**
+ * Base fields shared by all coverage requirement variants.
+ */
+interface CoverageRequirementBase extends TimeInterval {
+    targetCount: number;
+    priority: Priority;
+    /**
+     * Groups this requirement with others sharing the same key for validation reporting.
+     * When provided, all coverage constraints generated from this requirement will
+     * share the same groupKey, enabling meaningful aggregation in reports.
+     *
+     * If not provided, an auto-generated key will be used based on the coverage parameters.
+     */
+    groupKey?: GroupKey;
+}
+/**
+ * Coverage requiring specific roles, optionally filtered by skills.
+ * Team members must have ANY of the specified roles (OR logic).
+ * If skillIds provided, they must ALSO have ALL specified skills (AND logic).
+ */
+interface RoleBasedCoverageRequirement extends CoverageRequirementBase {
+    /**
+     * Roles that satisfy this coverage (OR logic).
+     * A person matches if they have ANY of these roles.
+     * Must have at least one role.
+     */
+    roleIds: [string, ...string[]];
+    /**
+     * Additional skill filter (AND logic with roles).
+     * If provided, team members must have ALL specified skills in addition to matching a role.
+     */
+    skillIds?: [string, ...string[]];
+}
+/**
+ * Coverage requiring specific skills only (any role).
+ * Team members must have ALL specified skills (AND logic).
+ */
+interface SkillBasedCoverageRequirement extends CoverageRequirementBase {
+    /**
+     * Must not be present for skill-based coverage.
+     */
+    roleIds?: never;
+    /**
+     * Skills required to satisfy this coverage (ALL required, AND logic).
+     * Must have at least one skill.
+     */
+    skillIds: [string, ...string[]];
+}
+/**
+ * Defines staffing needs for a specific time period.
+ *
+ * This is a discriminated union that enforces at compile time that at least
+ * one of `roleIds` or `skillIds` must be provided:
+ *
+ * - Role-based: `{ roleIds: ["waiter"], ... }` - anyone with ANY of these roles (OR logic)
+ * - Role + skill: `{ roleIds: ["waiter"], skillIds: ["senior"], ... }` - role AND skills
+ * - Skill-only: `{ skillIds: ["keyholder"], ... }` - any role with ALL skills (AND logic)
+ *
+ * @example
+ * // Need 2 waiters during lunch (role-based)
+ * { day: "2024-01-01", startTime: { hours: 11 }, endTime: { hours: 14 }, roleIds: ["waiter"], targetCount: 2, priority: "MANDATORY" }
+ *
+ * @example
+ * // Need 1 manager OR supervisor during service (OR logic on roles)
+ * { day: "2024-01-01", startTime: { hours: 11 }, endTime: { hours: 22 }, roleIds: ["manager", "supervisor"], targetCount: 1, priority: "MANDATORY" }
+ *
+ * @example
+ * // Need 1 keyholder for opening (skill-only, any role)
+ * { day: "2024-01-01", startTime: { hours: 6 }, endTime: { hours: 8 }, skillIds: ["keyholder"], targetCount: 1, priority: "MANDATORY" }
+ *
+ * @example
+ * // Need 1 senior waiter for training shift (role + skill filter)
+ * { day: "2024-01-01", startTime: { hours: 9 }, endTime: { hours: 17 }, roleIds: ["waiter"], skillIds: ["senior"], targetCount: 1, priority: "HIGH" }
+ */
+export type CoverageRequirement = RoleBasedCoverageRequirement | SkillBasedCoverageRequirement;
+export interface ModelBuilderOptions {
+    weekStartsOn?: DayOfWeek;
+    solverOptions?: SolverRequest["options"];
+    /**
+     * Bucket size used when translating coverage requirements into time-indexed constraints.
+     * Smaller buckets are more accurate but increase the number of constraints.
+     */
+    coverageBucketMinutes?: number;
+    /**
+     * Whether to enable fair distribution of shifts across team members.
+     *
+     * When enabled (default), the solver minimizes the maximum number of shifts
+     * any single person works, ensuring work is distributed evenly. Each person
+     * works between floor(total/n) and ceil(total/n) shifts.
+     *
+     * Disable this if you want other rules (like employee-assignment-priority)
+     * to have full control over shift distribution.
+     *
+     * @default true
+     */
+    fairDistribution?: boolean;
+}
+export type Term = SolverTerm;
+export {};
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/cpsat/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACpE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAEtD,MAAM,MAAM,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,WAAW,CAAC;AAE/D,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,kBAAkB,CAAC;AAE1C;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,WAAW,YAAY;IAC3B;;;OAGG;IACH,EAAE,EAAE,MAAM,CAAC;IAEX;;;;;;;;;OASG;IACH,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;IAEhC;;;;;;;;;;;;;;OAcG;IACH,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;IAEzB;;;OAGG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,yEAAyE;IACzE,SAAS,EAAE,SAAS,CAAC;IAErB,yEAAyE;IACzE,OAAO,EAAE,SAAS,CAAC;CACpB;AAED,MAAM,WAAW,YAAY;IAC3B,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,EAAE,SAAS,CAAC;IACrB,OAAO,EAAE,SAAS,CAAC;CACpB;AAED;;GAEG;AACH,UAAU,uBAAwB,SAAQ,YAAY;IACpD,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,QAAQ,CAAC;IACnB;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,QAAQ,CAAC;CACrB;AAED;;;;GAIG;AACH,UAAU,4BAA6B,SAAQ,uBAAuB;IACpE;;;;OAIG;IACH,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;IAC/B;;;OAGG;IACH,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;CAClC;AAED;;;GAGG;AACH,UAAU,6BAA8B,SAAQ,uBAAuB;IACrE;;OAEG;IACH,OAAO,CAAC,EAAE,KAAK,CAAC;IAChB;;;OAGG;IACH,QAAQ,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;CACjC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,MAAM,mBAAmB,GAAG,4BAA4B,GAAG,6BAA6B,CAAC;AAE/F,MAAM,WAAW,mBAAmB;IAClC,YAAY,CAAC,EAAE,SAAS,CAAC;IACzB,aAAa,CAAC,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC;IACzC;;;OAGG;IACH,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B;;;;;;;;;;;OAWG;IACH,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,MAAM,IAAI,GAAG,UAAU,CAAC"}

package/dist/cpsat/types.js

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

package/dist/cpsat/types.js.map

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