Logo
2.7.0
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表达式
Next Previous

© Copyright 2016, 2017, 2018, 2019, 2020 Peter J. Stuckey, Kim Marriott, Guido Tack.

Creative Commons License