After correctly modelling the problem, a constraint solver is used to get solutions for the problem. Finding a solution corresponds to searching for an assignment of values to thevariables from among all possible combinations of assignments.The whole set of combinations is referred to as the search space.