Ant Colony Optimization and Constraint Programming