利用PyCSP3库（含大量全局约束）进行组合约束建模

---

1. 什么是 PyCSP3 ？

PyCSP3 是 Python 中的一个库，用于对组合约束问题进行建模，包括 约束满足问题（Constraint Satisfaction Problem，CSP） 和 约束优化问题（Constraint Optimization Problem，COP）。

与其他的约束规划求解器类似，PyCSP3 有大量的全局约束，这些能够用简单的语句，实现各种复杂形式的高级约束，底层有很多高效的专门算法来进行处理，优先使用这些全局约束能够显著地提高模型的求解效率。

例如在CP-SAT中，多容量设备的FJSP问题可以用AddCumulative建模。

2. 安装方法（Windows）

2.1 通过 Google_colab 直接运行

通过以下步骤实现 PyCSP3 的运行。

1. 在 Google colab 上创建新笔记本；
2. 插入第一个代码单元以便能够在笔记本中使用 PyCSP3：pip install pycsp3
3. 在第二个代码单元中插入以下一个非常基本的模型来测试是否能正常使用pycsp3库：