SAS/OR User's Guide: Constraint Programming