RUN: $(constraint_programming_cp)