new ModelBuilder(config): ModelBuilder;

readonly coverage: CoverageRequirement[];

readonly coverageBucketMinutes: number;

readonly days: string[];

readonly employees: SchedulingEmployee[];

readonly fairDistribution: boolean;

readonly options:
  | {
  solutionLimit?: number;
  timeLimitSeconds?: number;
}
  | undefined;

readonly reporter: ValidationReporter;

readonly rules: CompilationRule[];

readonly shiftPatterns: ShiftPattern[];

readonly weekStartsOn: DayOfWeek;

addAtMostOne(vars): void;

addBoolAnd(vars): void;

addBoolOr(vars): void;

addExactlyOne(vars): void;

addImplication(ifVar, thenVar): void;

addLinear(
   terms,
   op,
   rhs): void;

addNoOverlap(intervals): void;

addPenalty(varName, weight): void;

addSoftLinear(
   terms,
   op,
   rhs,
   penalty,
   id?): void;

assignment(
   employeeId,
   patternId,
   day): string;

boolVar(name): string;

canAssign(employee, pattern): boolean;

compile(): CompilationResult;

employeesForCoverage(cov): SchedulingEmployee[];

employeesWithRole(roleId): SchedulingEmployee[];

endMinutes(pattern, day): number;

intervalVar(
   name,
   start,
   end,
   size,
   presenceVar?): string;

intVar(
   name,
   min,
   max): string;

patternAvailableOnDay(pattern, day): boolean;

patternDuration(patternId): number;

shiftActive(patternId, day): string;

startMinutes(pattern, day): number;

validateSolution(assignments): void;