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