In constraint programming, you define a set of variables, each with a domain of possible values, and a set of constraints that describe the relationships between these variables.
The goal is to find values for the variables that satisfy all of the constraints simultaneously.
The variables and constraints are typically expressed as mathematical equations or logical statements.
Constraint Programming has 1000's of applications, literally every problem in any domain can be solved with Constraint Programming and Constrained Optimization. For example...
Scheduling
Resource Allocation
Vehicle Routing
Configuration Problems
Crew Scheduling
Timetabling
Constraint-Based Optimization
Packing and Cutting Problems
Circuit Design
Natural Language Processing
Game Solving
Bioinformatics
Network Design
Healthcare
Manufacturing and Supply Chain Management
*** Automatski' million variables and constraints solvers can be used to solve previously unsolvable problems in 40+ domains across the world "Today"