文章目录 1. 什么是 MiniZinc ？2. 安装方法（Windows）3. 求解着色问题3.1 问题描述3.2 建立 MiniZinc 模型3.3 运行求解 1. 什么是 MiniZinc ？ 约束满足性问题（Constraint Satisfaction Problem，CSP）判断在有限变量与有限约束条件下，是否存在满足所有约束条件的变量赋值，若有，则认为该问题是

MiniZInc考前佛脚贴 基本结构 它由多个项组成，每一个在其最后都有一个分号 ; 。 项可以按照任何顺序出现。例如，标识符在被使用之前不需要被声明。 有八种类型的项： 引用项include <文件名>;。变量声明<类型-实例化 表达式>: <变量> [ = ] <表达式>; 。<类型-实例化 表达式> 给了变量的类型和实例化。用 par 来实例化声明参数，用 var 来实例化声明决策