Constraint programming is a declarative method for modelling and solving decision problems by specifying variables, their domains ...