标签： compilation warnings minizinc
我的模型的某些输入需要使模型不一致，从而导致Unsatisfiable。但是Minizinc会在编译时检测到这些不一致并输出一些警告。我不要这些警告。我只希望Unsatisfiable产生运行时结果。如何禁用它们？
Unsatisfiable