Assignment1 in constraint processing