2.2.2
The MiniZinc Handbook
1. Overview
2. Minizinc 指南
2.1. MiniZinc基本模型
2.2. 更多复杂模型
2.3. 谓词和函数
2.4. 选项类型
2.5. 搜索
2.6. MiniZinc中的有效建模实践
2.7. 在MiniZinc中对布尔可满足性问题建模
2.8. FlatZinc和展平
3. User Manual
4. Reference Manual
The MiniZinc Handbook
Docs
»
2. Minizinc 指南
2. Minizinc 指南
¶
2.1. MiniZinc基本模型
2.1.1. 第一个实例
2.1.2. 算术优化实例
2.1.3. 数据文件和谓词
2.1.4. 实数求解
2.1.5. 模型的基本结构
2.2. 更多复杂模型
2.2.1. 数组和集合
2.2.2. 全局约束
2.2.3. 条件表达式
2.2.4. 枚举类型
2.2.5. 复杂约束
2.2.6. 集合约束
2.2.7. 汇总
2.3. 谓词和函数
2.3.1. 全局约束
2.3.1.1. Alldifferent
2.3.1.2. Cumulative
2.3.1.3. Table
2.3.1.4. Regular
2.3.2. 定义谓词
2.3.3. 定义函数
2.3.4. 反射函数
2.3.5. 局部变量
2.3.6. 语境
2.3.7. 局部约束
2.3.8. 定义域反射函数
2.3.9. 作用域
2.4. 选项类型
2.4.1. 声明和使用选项类型
2.4.2. 隐藏选项类型
2.5. 搜索
2.5.1. 有限域搜索
2.5.2. 搜索注解
2.5.3. 注解
2.6. MiniZinc中的有效建模实践
2.6.1. 变量界限
2.6.2. 有效的生成元
2.6.3. 冗余约束
2.6.4. 模型选择
2.6.5. 多重建模和连通
2.6.6. 对称
2.6.6.1. 静态的对称性破缺
2.6.6.2. 其他对称的例子
2.7. 在MiniZinc中对布尔可满足性问题建模
2.7.1. 整型建模
2.7.2. 非等式建模
2.7.3. 势约束建模
2.8. FlatZinc和展平
2.8.1. 展平表达式
2.8.1.1. 简化和求值
2.8.1.2. 定义子表达式
2.8.1.3. FlatZinc约束形式
2.8.1.4. 边界分析
2.8.1.5. 目标函数
2.8.2. 线性表达式
2.8.3. 展开表达式
2.8.4. 数组
2.8.5. 具体化
2.8.6. 谓词
2.8.7. Let表达式