Constraint Programming Assignment 1