3.1 构建约束满足问题的解决框架