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. Tuple and record types
  • 2.5.1. Declaring and using tuples and records
  • 2.5.2. Using type-inst synonyms
  • 2.5.3. Types with both var and par members
  • 2.5.4. Example: rectangle packing using records
• 2.6. 搜索
  • 2.6.1. 有限域搜索
  • 2.6.2. 搜索注解
  • 2.6.3. 注解
• 2.7. MiniZinc中的有效建模实践
  • 2.7.1. 变量界限
  • 2.7.2. 有效的生成元
  • 2.7.3. 冗余约束
  • 2.7.4. 模型选择
  • 2.7.5. 多重建模和连通
  • 2.7.6. 对称
    • 2.7.6.1. 静态的对称性破缺
    • 2.7.6.2. 其他对称的例子
• 2.8. 在MiniZinc中对布尔可满足性问题建模
  • 2.8.1. 整型建模
  • 2.8.2. 非等式建模
  • 2.8.3. 势约束建模
• 2.9. FlatZinc和展平
  • 2.9.1. 展平表达式
    • 2.9.1.1. 简化和求值
    • 2.9.1.2. 定义子表达式
    • 2.9.1.3. FlatZinc约束形式
    • 2.9.1.4. 边界分析
    • 2.9.1.5. 目标函数
  • 2.9.2. 线性表达式
  • 2.9.3. 展开表达式
  • 2.9.4. 数组
  • 2.9.5. 具体化
  • 2.9.6. 谓词
  • 2.9.7. Let表达式