PyCSP3：以Python建模组合约束问题

本文档介绍PyCSP$3$，一个允许我们以声明式编写组合约束问题模型的Python库。目前，借助PyCSP$3$，你可编写约束满足与优化问题的模型。更具体地，你可构建CSP（约束满足问题）与COP（约束优化问题）模型。重要的是，建模与求解阶段完全分离：你编写一个模型，将其编译（同时提供某些数据）以生成XCSP$3$实例（文件），并通过约束求解器求解该问题实例。你也可在PyCSP$3$中直接引导求解过程，可能采用增量求解策略。本文档包含关于PyCSP$3$所需了解的一切，并附有50余个说明性模型。