ReddRadar
Agent skill
constraint-satisfaction-solver
Constraint programming skill for scheduling, configuration, and assignment problems
Install this agent skill to your Project
npx add-skill https://github.com/a5c-ai/babysitter/tree/main/library/specializations/domains/business/decision-intelligence/skills/constraint-satisfaction-solver
Metadata
Additional technical details for this skill
- domain
- business
- category
- optimization
- priority
- medium
- specialization
- decision-intelligence
- tools libraries
-
[ "ortools", "python-constraint", "minizinc-python" ]
SKILL.md
Constraint Satisfaction Solver
Overview
The Constraint Satisfaction Solver skill provides capabilities for solving constraint satisfaction problems (CSPs) and constraint optimization problems (COPs). It excels at scheduling, configuration, assignment, and combinatorial problems where finding feasible solutions is as important as optimization.
Capabilities
- Variable and domain definition
- Constraint specification (global constraints)
- Solution search strategies
- Optimization with constraints
- Scheduling constraint handling
- Configuration problem solving
- All-solutions enumeration
- Constraint propagation explanation
Used By Processes
- Prescriptive Analytics and Optimization
- Resource Scheduling
- Operational Decisions
Usage
Problem Definition
# Define CSP
csp_problem = {
"name": "Employee Scheduling",
"variables": {
"shift_mon_morning": {"domain": ["Alice", "Bob", "Carol", "David"]},
"shift_mon_afternoon": {"domain": ["Alice", "Bob", "Carol", "David"]},
"shift_tue_morning": {"domain": ["Alice", "Bob", "Carol", "David"]},
"shift_tue_afternoon": {"domain": ["Alice", "Bob", "Carol", "David"]},
# ... more shifts
},
"constraints": [
{
"type": "all_different",
"scope": ["shift_mon_morning", "shift_mon_afternoon"],
"description": "Different employees on same day"
},
{
"type": "not_equal",
"variables": ["shift_mon_afternoon", "shift_tue_morning"],
"condition": "employee",
"description": "No back-to-back closing/opening"
},
{
"type": "count",
"variable": "Alice",
"min": 3,
"max": 5,
"description": "Alice works 3-5 shifts per week"
}
]
}
Scheduling Constraints
# Job shop scheduling
scheduling_problem = {
"jobs": [
{
"id": "Job1",
"tasks": [
{"id": "J1_T1", "machine": "M1", "duration": 3},
{"id": "J1_T2", "machine": "M2", "duration": 2, "after": "J1_T1"}
]
},
{
"id": "Job2",
"tasks": [
{"id": "J2_T1", "machine": "M2", "duration": 2},
{"id": "J2_T2", "machine": "M1", "duration": 3, "after": "J2_T1"}
]
}
],
"constraints": {
"no_overlap": "tasks on same machine cannot overlap",
"precedence": "tasks must respect ordering within job",
"deadline": {"Job1": 10, "Job2": 8}
},
"objective": "minimize_makespan" # or "minimize_tardiness"
}
Configuration Problem
# Product configuration
config_problem = {
"components": {
"engine": {"options": ["V6", "V8", "Electric"]},
"transmission": {"options": ["Manual", "Automatic", "CVT"]},
"wheel_size": {"options": [17, 18, 19, 20]},
"color": {"options": ["Red", "Blue", "Black", "White"]}
},
"constraints": [
{
"type": "implication",
"if": {"engine": "Electric"},
"then": {"transmission": ["Automatic", "CVT"]},
"description": "Electric engines don't support manual transmission"
},
{
"type": "incompatible",
"values": [{"engine": "V6"}, {"wheel_size": 20}],
"description": "V6 not available with 20-inch wheels"
}
]
}
Global Constraints
| Constraint | Description | Example Use |
|---|---|---|
| AllDifferent | All variables take distinct values | Sudoku, assignment |
| Cumulative | Resource usage over time | Scheduling |
| Circuit | Variables form a Hamiltonian circuit | TSP, routing |
| Table | Allowed/forbidden combinations | Configuration |
| Regular | Sequence matches automaton | Shift patterns |
| Cardinality | Count of value occurrences | Workload balance |
Input Schema
{
"problem_type": "csp|cop|scheduling|configuration",
"variables": {
"var_name": {
"domain": "array or range",
"type": "integer|boolean|set"
}
},
"constraints": [
{
"type": "string",
"scope": ["string"],
"parameters": "object"
}
],
"objective": {
"type": "minimize|maximize",
"expression": "string"
},
"search_config": {
"strategy": "default|first_fail|min_domain",
"time_limit": "number",
"all_solutions": "boolean",
"max_solutions": "number"
}
}
Output Schema
{
"status": "Satisfied|Optimal|Infeasible|Unknown",
"solution": {
"variable_name": "value"
},
"objective_value": "number (if COP)",
"all_solutions": [
{"variable_name": "value"}
],
"statistics": {
"nodes_explored": "number",
"propagations": "number",
"backtracks": "number",
"solve_time": "number"
},
"explanation": {
"unsatisfied_constraints": ["string"],
"conflict_set": ["string"]
}
}
Search Strategies
| Strategy | Description | Best For |
|---|---|---|
| First Fail | Choose variable with smallest domain | General CSPs |
| Min Domain | Same as first fail | General CSPs |
| Impact | Choose by constraint propagation impact | Large problems |
| Activity | Choose frequently changed variables | Restart searches |
| Random | Random variable/value selection | Diversification |
Best Practices
- Define tight domains to reduce search space
- Use appropriate global constraints (more efficient than decomposed)
- Add redundant constraints to improve propagation
- Consider symmetry breaking constraints
- Use restarts for large, hard problems
- Profile to identify propagation bottlenecks
- Validate solutions against business requirements
Integration Points
- Connects with Linear Programming Solver for hybrid approaches
- Feeds into Optimization Specialist agent
- Supports Scheduling and Assignment processes
- Integrates with Decision Visualization for Gantt charts
Recommended Agent Skills
Expand your agent's capabilities with these related and highly-rated skills.
a5c-ai/babysitter
gsd-tools
Central utility skill for GSD operations. Provides config parsing, slug generation, timestamps, path operations, and orchestrates calls to other specialized skills. Acts as the unified entry point that the original gsd-tools.cjs provided via its lib/ modules (commands, config, core, init).
a5c-ai/babysitter
model-profile-resolution
Resolve model profile (quality/balanced/budget) at orchestration start and map agents to specific models. Enables cost/quality tradeoffs by selecting appropriate AI models for each agent role.
a5c-ai/babysitter
verification-suite
Plan structure validation, phase completeness checks, reference integrity verification, and artifact existence confirmation. Provides the structured verification layer ensuring GSD artifacts are well-formed and complete.
a5c-ai/babysitter
state-management
STATE.md reading, writing, and field-level updates. Provides cross-session state persistence via .planning/STATE.md with structured fields for current task, completed phases, blockers, decisions, and quick tasks.
a5c-ai/babysitter
git-integration
Git commit patterns, formats, and conventions for GSD methodology. Provides atomic commits per task, structured commit messages, planning file commits, branch management, and milestone tag operations.
a5c-ai/babysitter
frontmatter-parsing
YAML frontmatter parsing and manipulation for .planning/ documents. Provides read, write, update, query, and validation operations on frontmatter blocks in GSD markdown artifacts.
Didn't find tool you were looking for?