Debug constraint programming