Constraint Technology for Solving Combinatorial Problems Project