Experiments with constraint programming