9. Flattening 约束求解器不会直接支持 MiniZinc 模型. 为了运行一个 MiniZinc 模型, 它被翻译成一个 MiniZinc 的简单子集叫 FlatZinc. FlatZinc 反映了大多数约束求解器只会求解具有 e x i s t s ‾ c 1 ∧ ⋅ ⋅ ⋅ ∧