约束程序的基本思想,基本框架,求解流程和求解器的介绍