constraint-satisfaction-solver

# 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 ```python # 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":...