Constraint Programming
ILOG SOLVER