Skills
.Work. You
Rest

cp-sat-modeling

Community

Build CP-SAT schedules with the right primitives.

Software Engineering#decomposition#scheduling#or-tools#cp-sat#interval variables#no-overlap#cumulative
AuthorTakfes
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill helps you turn scheduling requirements into a correct CP-SAT model instead of guessing at primitives or overusing boolean decompositions.

Core Features & Use Cases

  • Model construction discipline: Choose intervals, no-overlap, cumulative, circuit, automaton, and alternative-resource patterns.
  • Constraint design: Decide which rules should be hard or soft, and encode penalties with reification and objective tiers.
  • Scaling choices: Set time granularity, horizon bounds, and decomposition strategy for realistic scheduling problems.
  • Use cases: Build a factory schedule, add sequence-dependent setup times, retrofit an existing OR-Tools model, or compare modeling alternatives before coding.

Quick Start

Ask the AI to model your scheduling problem in CP-SAT, identify the right primitives, and propose the objective and decomposition strategy.

Dependency Matrix

Required Modules

None required

Components

references

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: cp-sat-modeling
Download link: https://github.com/Takfes/indie-scaffolder/archive/main.zip#cp-sat-modeling

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 537,000+ vetted skills library on demand.