Constraint programming is a declarative method for modelling and solving decision problems by specifying variables, their domains and relations that must hold. Combinatorial optimization extends this ...