SAS/OR 9.2用户指南：约束编程

记录CLP过程（实验），该过程使您能够通过有限域约束编程来建模和解决约束满足问题（CSP）。PROC CLP包含一个表达语法，用于描述和解决一般CSP和活动调度问题；它还提供了用于精确建模的灵活工具，以及用于指导面向搜索的解决方案过程的策略和控制。对于读者来说，一些约束编程和约束满足问题的先前经验是有帮助的，但不是必需的。