SAS/OR 12.1 User's Guide: Constraint Programming