Prints out constraints.