约束满足问题csp与约束编程cp

相关帖子

Constraint programming - Wikipedia
(28条消息) Google OR-Tools(四) 约束编程 Constraint Programming_皇家园林巡游者的博客-CSDN博客_constraint programming
ortools 是 google 的开源寻优框架 Ortools

简介

约束满足问题就是一个规划问题的约束条件中，很多约束条件不容易被公式化，而是表现为 if-else 语句的类似形式。比如，如果选择 x1=1 时，x2 必须大于 3。
是运筹学、组合数学、数学优化的一种 离散数学

求解工具

Google OR-Tools 中解决整数规划问题有 MP Solver 和 CP Solver 两种工具。CP Solver 一般用于约束满足问题 (Constraint Satisfaction Problem)，简称 CSP。